Back to Search Start Over

AKA Protocol and Its Formal Analysis and Verification Using Ambient Calculus and Logics.

Authors :
Xiaopei Zhang
Xiang Li
Wenjun Luo
Source :
2009 International Conference on Networking & Digital Society; 2009, p194-197, 4p
Publication Year :
2009

Details

Language :
English
ISBNs :
9780769536354
Database :
Complementary Index
Journal :
2009 International Conference on Networking & Digital Society
Publication Type :
Conference
Accession number :
81746047
Full Text :
https://doi.org/10.1109/ICNDS.2009.54