Back to Search
Start Over
AKA Protocol and Its Formal Analysis and Verification Using Ambient Calculus and Logics.
- 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