Analysis and modification of ASK mobile security protocol

Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05

Volumn 2005, Issue , 2005, Pages 79-83

  Kim, Il Gon ^a   Kim, Hyun Seok ^a   Lee, Ji Yeon ^a   Choi, Jin Young ^a  

^a Korea University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MOBILE TELECOMMUNICATION SYSTEMS; SECURITY OF DATA; SECURITY SYSTEMS;

ASK PROTOCOLS; FORMAL VERIFICATION APPROACH; MOBILE SECURITY PROTOCOLS;

NETWORK PROTOCOLS;

EID: 33744903731     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WMCS.2005.4     Document Type: Conference Paper

References (11)

1. M. Abadi, M. Burrows, and R. Needham. "A Logic of Authentication", Proceeding of the Royal Society, Series A, 426, 1871, pp. 233-271, December 1989.
2. M. Aydos, B. Sunar, and C.K. Koc, "An elliptic curve cryptography based authentication and key agreement protocol for wireless communication", presented at the 2nd Int. Workshop Discrete Algorithms and Methods for Mobility, Dallas, TX, Oct. 1998.
3. A. Aziz and W. Diffie, "Privacy and authentication for wireless local area networks", IEEE Personal Commun., First Quarter 25-31, 1994.
4. M. J. Beller, L. -F. Chang and Y. Yacobi, "Privacy and authentication on a portable communications system", Proceedings of the International Computer Symposium, Vol.1, pp.821-829, 1994.
5. Formal Systems(Europe) Ltd. Failure Divergence Refinement-FDR2 User Manual, 1999.
6. C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.
7. G. Horn, K. M. Martin, and C. J. Mitchell, "Authentication Protocols for Mobile Network Environment Value-Added Services", IEEE Transactions on Vehicular Technology 51, pp.383-392, 2002.
8. I. G. Kim and J. Y. Choi, "Formal verification of PAP and EAP-MD5 Protocols in wireless networks : FDR Model Checking", in the 18th International Conference on Advanced Information Networking and Applications(AINA 2004), pp.264-269, 2004.
9. G. Lowe, "Breaking and fixing the Needham-Schroeder public-key protocol using FDR", Proceedings of TACAS, number 1055 in LNCS. Springer, 1996.
10. G. Lowe, "Casper: A compiler for the analysis of security protocols", 10th IEEE Computer Security Foundations Workshop, 1997.
11. P. Y. A. Ryan and S. A. Schneider, modelling and analysis of security protocols: the CSP Approach, Addison-Wesley, 2001.