Formal correctness of security protocols
Auteur :
Bella, Giampaolo
Éditeur :
Bella, Giampaolo
ISBN :
9783540681342
Date de publication :
5 mars 2007
Dimensions :
23,4 x 15,6 x 1,7 cm
Poids :
592 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
Allemagne
Investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. This title examines the protocols including Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols.