Modelling & analysis of security protocols
Auteur :
Ryan, Peter
Éditeur :
Ryan, PeterSchneider, Steve,Goldsmith, Michael,Lowe, Gavin,Roscoe, Bill,
ISBN :
9780201674712
Date de publication :
6 déc. 2000
Dimensions :
23,5 x 18,6 x 1,6 cm
Poids :
601 g
Langue :
Anglais
Pays d'origine :
USA
This reference work covers all available security protocols and their vulnerabilities. It describes the benefits of using well-founded analytical tools and techniques in evaluating and describing security protocols.