Towards a formal verification of an authentication protocol using non-monotonie logic

Proceedings - International Conference on Information Technology: New Generations, ITNG 2008

Volumn , Issue , 2008, Pages 545-550

  Das, Manik Lal ^a   Narasimhan, V Lakshmi ^a  

^a WESTERN KENTUCKY UNIVERSITY   (United States)

Author keywords

Authentication; Hash function; Key agreement; Non monotonic logic; Password

Indexed keywords

AUTHENTICATION PROTOCOLS; HASH FUNCTIONS;

FORMAL LOGIC; NETWORK PROTOCOLS; VERIFICATION;

AUTHENTICATION;

EID: 44049103828     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITNG.2008.140     Document Type: Conference Paper

References (15)

1. A. Menezes, P. Oorschot and S. Vanstone. Handbook of Applied Cryptograph. CRC Press, 1996.
2. L. Lamport. Password authentication with insecure communication. Communications of the ACM, 24(11), pp.770-772, 1981.
3. N. M. Haller. A one-time password system. RFC 1704, 1994.
4. A. Shimizu. A dynamic password authentication method by one-way function. IEICE Transactions on Information and Systems, J73-D-I(7), pp.630-636, 1990.
5. M. Peyravian and N. Zunic. Methods for protecting password transmission. Computers & Security, 19(5), pp.466-469, 2000.
6. J. J. Hwang and T. C. Yeh. Improvement on Peyravian-Zunic's password authentication schemes. IEICE Transactions on Communications, E85-B(4), pp.823-825, 2002.
7. D. P. Jablon. Strong password-only authenticated key exchange. ACM Computer Communications Review, 26(5), pp.5-26, 1996.
8. IEEE P1363.2 Draft D12. Standard specifications for password-based public key cryptographic techniques. IEEE P1363 working group, 2003.
9. RSA Secure ID: Securing Your Future with Two-Factor Authentication. http://www.rsa.com/node.aspx?id=1156
10. M. S. Hwang and L. H. Li. A new Remote User Authentication Scheme Using Smart Cards. IEEE Transactions on Consumer Electronics, 46(1), pp.28-30, 2000.
11. C. C. Lee, M. S. Hwang and W. P. Yang. A Flexible Remote User Authentication Scheme using Smart Cards. ACM Operating Systems Review, 36(3), pp.46-52, 2002.
12. J. J. Shen, C. W. Lin and M. S. Hwang. A modified remote user authentication using smart card. IEEE Trans. On Consumer Electron., 49(2), pp.414-416, 2003.
13. M. L. Das, A. Saxena and V. P. Gulati. A dynamic. ID-based remote user authentication scheme. IEEE Transactions on Consumer Electronics, 50(2), pp.629-631, 2004.
14. L. E. Moser. A logic of knowledge and belief for reasoning about computer security In: Computer Security Foundation Workshop II, pp.57-63, 1989.
15. A. D. Rubin. Non Monotonic cryptographic protocols. http://citeseer.ist. psu.edu/rubin94nonmonotonic.html