loading...
Verifying and Fixing Password Authentication Protocol
Las Vegas, Nevada June 19-June 20
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SNPD-SAWN.2006.77Seventh ACIS International Conference ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Xiaoqi Ma, Rachel McCrindle, Xiaochun Cheng, "Verifying and Fixing Password Authentication Protocol," Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on, pp. 324-329, Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SNPD-SAWN.2006.77,
author = {Xiaoqi Ma and Rachel McCrindle and Xiaochun Cheng},
title = {Verifying and Fixing Password Authentication Protocol},
journal ={Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on},
volume = {0},
year = {2006},
isbn = {0-7695-2611-X},
pages = {324-329},
doi = {http://doi.ieeecomputersociety.org/10.1109/SNPD-SAWN.2006.77},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on
TI - Verifying and Fixing Password Authentication Protocol
SN - 0-7695-2611-X
SP324
EP329
A1 - Xiaoqi Ma,
A1 - Rachel McCrindle,
A1 - Xiaochun Cheng,
PY - 2006
KW - null
VL - 0
JA - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on
ER -
 
Xiaoqi Ma, The University of Reading, UK
Rachel McCrindle, The University of Reading, UK
Xiaochun Cheng, Beijing Normal University, P.R.China
Password Authentication Protocol (PAP) is widely used in the Wireless Fidelity Point-to-Point Protocol to authenticate an identity and password for a peer. This paper uses a new knowledge-based framework to verify the PAP protocol and a fixed version. Flaws are found in both the original and the fixed versions. A new enhanced protocol is provided and the security of it is proved. The whole process is implemented in a mechanical reasoning platform, Isabelle. It only takes a few seconds to find flaws in the original and the fixed protocol and to verify that the enhanced version of the PAP protocol is secure.
Citation:
Xiaoqi Ma, Rachel McCrindle, Xiaochun Cheng, "Verifying and Fixing Password Authentication Protocol," snpd-sawn, pp.324-329, Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.