Improving cross-domain authentication over wireless local area networks

Proceedings - First International Conference on Security and Privacy for Emerging Areas in Communications Networks, SecureComm 2005

Volumn 2005, Issue , 2005, Pages 127-138

  Kim, Hahnsang ^a   Shin, Kang G ^b   Dabbous, Walid ^a  

^a INRIA   (France)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL SYSTEMS; PUBLIC KEY CRYPTOGRAPHY; SECURITY OF DATA; SERVERS; STANDARDS;

AUTHENTICATION STANDARD; CROSS-DOMAIN AUTHENTICATION; MOBILITY-ADJUSTED AUTHENTICATION PROTOCOL (MAP); SECURITY CONTEXT NODES (SCN); WIRELESS LOCAL AREA NETWORKS (WLAN);

LOCAL AREA NETWORKS;

EID: 33847263581     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SECURECOMM.2005.24     Document Type: Conference Paper

References (37)

1. Wi-fi alliance, http://www.wi-fi.org/.
2. Secure Hash Standard. In Federal Information Processing Standards Publication 180-1. NIST, Apr. 1995.
3. Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications: Specification for Robust Security. In ANSI/IEEE Std 802.11: 1999(E). ISO/IEC 8802-11, 1999.
4. Advanced Encryption Standard (AES). In Federal Information Processing Standards Publication 197. NIST, Nov. 2001.
5. Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications: Specification for Robust Security. In IEEE Std 802.11i/D3.1.ISO/IEC 8802-11, 2003.
6. B. Aboba and D. Simon. PPP EAP TLS Authentication Protocol. RFC 2716, Oct. 1999.
7. W. Aiello, S. M. Bellovin, M. Blaze, R. C. J. Ioannidis, A. D. Keromytis, and O. Reingold. Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols. In Conf. on Computer and Comm. Security. ACM Press, 2002.
8. M. S. Bargh et al. Fast Authentication Methods for Handovers between IEEE 802.11 Wireless LANs. In Int. Workshop on Wireless Mobile App. and Services on WLAN Hotspots, pages 51-60. ACM, Oct. 2004.
9. M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In 30th Symposium on Theory of Computing, pages 419-428. ACM Press, 1998.
10. M. Burrows, M. Abadi, and R. Needham. A Logic of Authentication. ACM Transactions on Computer Systems, 8(1): 18-36, 1990.
11. W. Dai. Crypto++, http://www.eskimo.com/~weidai/cryptlib.html.
12. T. Dierks and C. Allen. The TLS Protocol Version 1.0. RFC 2246, Jan. 1999.
13. Heather and Schneider. Towards automatic verification of authentication protocols on an unbounded network. In 13th Computer Security Foundations Workshop, page 132. IEEE Computer Society, 2000.
14. M. Jakobsson and D. Pointcheval. Mutual Authentication for Low-Power Mobile Devices. In Financial Cryptography 2001, Grand Cayman Island, British West Indies, Feb. 2001.
15. B. Kaliski. PKCS #1 RSA Encryption Version 1.5. RFC 2313, Mar. 1998.
16. J. Kohl and C. Neuman. The Kerberos Network Authentication Service (V5). RFC 1510, Sep. 1993.
17. H. Krawczyk, M. Bellare, and R. Canetti. HMAC: Keyed-Hashing for Message Authentication. RFC 2104, Feb. 1997.
18. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 1055, pages 147-166. LNCS, 1996.
19. P. Maggi and R. Sisto. Using spin to verify security properties of cryptographic protocols. In 9th SPIN Workshop on Model Checking of Software, volume 2318, pages 187-204. LNCS, 2001.
20. C. A. Meadows. Formal Verification of Cryptographic Protocols: A Survey. In ASIACRYPT: Int. Conf. on the Theory and Application of Cryptology, volume 917, pages 135-150. LNCS, Dec. 1994.
21. A. Mishra, M. Shin, and W. Arbaugh. An Empirical Analysis of the IEEE 802.11 MAC Layer Handoff Process. ACM SIGCOMM: Computer Communications Review, 33(2):93-102, 2003.
22. A. Mishra, M. Shin, and W. Arbaugh. Context Caching using Neighbor Graphs for Fast Handoffs in a Wireless Network. In IEEE Infocom 2004, Hong Kong, Mar. 2004.
23. A. Mishra, M. Shin, and W. Arbaugh. Pro-active Key Distribution using Neighbor Graphs. Wireless Comm. Magazine, 11 Issue 1:26-36, Feb. 2004.
24. J. C. Mitchell, M. Mitchell, and U. Stern. Automated analysis of cryptographic protocols using murφ. In Symposium on Security and Privacy, pages 141-153. IEEE Computer Society, 1997.
25. D. Mitton et al. Authentication, Authorization, and Accounting: Protocol Evaluation. RFC 3127, June 2001.
26. R. M. Needham and M. D. Schroeder. Using encryption for authentication in large networks of computers. Comm. of the ACM, 21(12):993-999, 1978.
27. R. M. Needham and M. D. Schroeder. Authentication Revisited. ACM SIGOPS: Operating Systems Review, 21(1):7, 1987.
28. D. Otway and O. Rees. Efficient and timely mutual authentication. ACM SIGOPS: Operating Systems Review, 21(1);8-10, 1987.
29. S. Pack and Y. Choi. Pre-Authenticated Fast Hand-off in a Public Wireless LAN based on IEEE 802.1x Model. In IFIP TC6 Personal. Wireless Comm. 2002, Singapore, Oct. 2002.
30. R. Rivest. The MD5 Message-Digest Algorithm. RFC 1321, Apr. 1992.
31. M. Satyanarayanan. Integrating security in a large distributed system. ACM Transactions on Computer Systems, 7(3):247-280, 1989.
32. M. Shin, A. Mishra, and W. Arbaugh. Improving the Latency of 802.11 hand-offs using Neighbor Graphs. In ACM Mobisys 2004, Boston, Jun. 2004.
33. R. Shirdokar, J. Kabara, and P. Krishnamurthy. A QoS-based Indoor Wireless Data Network Design for VoIP. In Vehicular Technology Conf. (VTC'01), volume 4. IEEE, Oct. 2001.
34. D. S. Wong and A. H. Chan. Efficient and Mutually Authenticated Key Exchange for Low Power Computing Devices. In ASIACRYPT: Int. Conf. on the Theory and Application of Cryptology and Information Security, volume 2248, pages 272-289. LNCS, 2001.
35. D. S. Wong and A. H. Chan. Mutual Authentication and Key Exchange for Low Power Wireless Communications. In MILCOM 2001, pages 39-43, USA, Oct. 2001. IEEE Press.
36. T. Y. C. Woo and S. S. Lam. A Lesson on Authentication Protocol Design. ACM SIGOPS: Operating Systems Review, 28(3):24-37, 1994.
37. Y. Zhang, C. Wang, J. Wu, and X. Li. Using SMV for cryptographic protocol analysis: a case study. ACM SIGOPS: Operating Systems Review, 35(2):43-50, Apr. 2001.