Title :
Formal automatic verification of security protocols
Author :
Xiao, Meihua ; Xue, Jinyun
Keywords :
Algorithm design and analysis; Communication system security; Content addressable storage; Cryptography; Data security; Data structures; Electronic mail; Logic; Mathematical model; Protocols;
Conference_Titel :
Granular Computing, 2006 IEEE International Conference on
Print_ISBN :
1-4244-0134-8
DOI :
10.1109/GRC.2006.1635866
