loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
ASCII Text
x 
 
Manik Lal Das, V. Lakshmi Narasimhan, "Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic," Information Technology: New Generations, Third International Conference on, pp. 545-550, Fifth International Conference on Information Technology: New Generations (itng 2008), 2008.
 
 
BibTex
x
 
@article{ 10.1109/ITNG.2008.140,
author = {Manik Lal Das and V. Lakshmi Narasimhan},
title = {Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic},
journal ={Information Technology: New Generations, Third International Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3099-4},
pages = {545-550},
doi = {http://doi.ieeecomputersociety.org/10.1109/ITNG.2008.140},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Information Technology: New Generations, Third International Conference on
TI - Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic
SN - 978-0-7695-3099-4
SP545
EP550
A1 - Manik Lal Das,
A1 - V. Lakshmi Narasimhan,
PY - 2008
KW - Authentication
KW - Hash function
KW - Password
KW - Key agreement
KW - Non-monotonic logic.
VL - 0
JA - Information Technology: New Generations, Third International Conference on
ER -
 
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
Usage of this product signifies your acceptance of the Terms of Use.