This paper proposes the improved authentication tests in order to find the potential attacks on security protocols. It is based on the authentication tests theory and enhances the original methods by introducing the notion of message type. Formalized definition of replay attacks have been integrated into the original theoretical models for further verification of security protocols. The thoroughly proof of initial and subsequent authentications in Neuman-Stubblebine protocol shows that the improved authentication tests can find flaws of the protocol more efficiently than the original ones. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Li, X., Yang, S., Li, J., & Zhu, H. (2006). Security protocol analysis with improved authentication tests. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3903 LNCS, pp. 123–133). Springer Verlag. https://doi.org/10.1007/11689522_12
Mendeley helps you to discover research relevant for your work.