Formal security definition and efficient construction for roaming with a privacy-preserving extension

Journal of Universal Computer Science

Volumn 14, Issue 3, 2008, Pages 441-462

  Yang, Guomin ^a   Wong, Duncan S ^a   Deng, Xiaotie ^a  

^a CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Anonymous roaming; Authenticated key exchange

Indexed keywords

EID: 44349157189     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. Ateniese, G., Herzberg, A., Krawczyk, H., Tsudik, G.: "On Traveling Incognito" Proc. IEEE Workshop on Mobile Systems and Applications (Dec 1994).
2. th ACM Symp. on Theory of Computing, ACM (May 1998), 419-428.
3. Bellare, M., Rogaway, P.: "Entity authentication and key distribution" Proc. CRYPTO 1993, Lect. Notes in Comp. Sci. 773, Springer (1994), 232-249.
4. th ACM Symp. on Theory of Computing, ACM (1995), 57-66.
5. th IMA International Conference on Cryptography and Coding, Lect. Notes in Comp. Sci. 1355, Springer (1997), 30-45.
6. Blake-Wilson, S., Menezes, A.: "Entity Authentication and Authenticated Key Transport Protocols Employing Asymmetric Techniques" Proc. Security Protocols Workshop, Lect. Notes in Comp. Sci. 1361, Springer (1997), 137-158.
7. rd Algorithmic Number Theory Symposium, Lect. Notes in Comp. Sci. 1423, Springer (1998), 48-63.
8. Buttyan, L., Gbaguidi, C., Staamann, S., Wilhelm, U.: "Extensions to an Authentication Technique Proposed for the Global Mobility Network" IEEE Trans. on Communications, 48(3), IEEE (2000), 373-376.
9. Canetti, R., Krawczyk, H.: "Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels" Proc. EUROCRYPT 2001, Lect. Notes in Comp. Sci. 2045, Springer (2001), 453-474.
10. Go, J., Kim, K.: "Wireless Authentication Protocol Preserving User Anonymity" Proc. 2001 Symposium on Cryptography and Information Security (SCIS 2001), 159-164.
11. Goldwasser, S., Micali, S., Rivest, R.: "A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attack" SIAM J. Computing, 17(2), April 1988, 281-308.
12. Hwang, K., Chang, C.: "A Self-encryption Mechanism for Authentication of Roaming and Teleconference Services" IEEE Trans. on Wireless Communications, 2(2), IEEE (2003), 400-407.
13. Mouly, M., Pautet, M.: "The GSM System for Mobile Communications" Published by the authors, 1992.
14. st Australasian Conference on Information Security and Privacy, Lect. Notes in Comp. Sci. 1172, Springer (1996), 134-145.
15. Samfat, D., Molva, R., Asokan, N.: "Untraceability in Mobile Networks" Proc. MobiCom 1995, 26-36.
16. Technical Specification Group (TSG) SA: "3GPP TS 33.102: 3rd Generation Partnership Project (3GPP), 3G Security, Security Architecture" Oct, 2003.
17. Tin, Y., Boyd, C., Gonzalez-Nieto, J.: "Provably Secure Key Ex-change: An Engineering Approach" Proc. Australasian Information Security Workshop (AISW2003), 97-104.
18. rd IEEE Intl. Conf. on Pervasive Computing and Communications Workshops, IEEE (2005), 284-288.
19. th Australasian Conference on Information Security and Privacy, Lect. Notes in Comp. Sci. 3574, Springer (2005), 417-428.