DocumentCode
454223
Title
Formal automatic verification of security protocols
Author
Xiao, Meihua ; Xue, Jinyun
fYear
2006
fDate
10-12 May 2006
Firstpage
566
Lastpage
569
Keywords
Algorithm design and analysis; Communication system security; Content addressable storage; Cryptography; Data security; Data structures; Electronic mail; Logic; Mathematical model; Protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Granular Computing, 2006 IEEE International Conference on
Print_ISBN
1-4244-0134-8
Type
conf
DOI
10.1109/GRC.2006.1635866
Filename
1635866
Link To Document