Fifth International Conference on Information Technology: New Generations (itng 2008)
Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic
April 07-April 09
ISBN: 978-0-7695-3099-4
Authentication is one of the important security properties required to identify the communicating party or to validate the received document. Several authentication techniques with many flavors have been proposed; however, most of them lack a formal security proof. In this paper, we present a two-factor authentication protocol and followed by a key establishment mechanism using only hash function. We analyze and verify the security of the proposed protocol using non-monotonic logic.
Index Terms:
Authentication, Hash function, Password, Key agreement, Non-monotonic logic.
Citation:
Manik Lal Das, V. Lakshmi Narasimhan, "Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic," itng, pp.545-550, Fifth International Conference on Information Technology: New Generations (itng 2008), 2008