Formal Analysis of Authentication Protocol Based on Directed Graph Model.

Authors :: Li, Changchun
Wang, Kangnian
Zhu, Xingtao
Source :: Proceedings of the 2012 International Conference on Communication, Electronics & Automation Engineering; 2013, p829-835, 7p
Publication Year :: 2013

Language :: English
ISBNs :: 9783642316975
Database :: Complementary Index
Journal :: Proceedings of the 2012 International Conference on Communication, Electronics & Automation Engineering
Publication Type :: Book
Accession number :: 93795773
Full Text :: https://doi.org/10.1007/978-3-642-31698-2_117