Abstract:In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages exchanged between them. U may also want to travel anonymously so that no one including V can find out its identity or trace its whereabouts except its home server H. There have been many key establishment protocols proposed for secure roaming. A typical application of these protocols is the mobile roaming service which may be deployed to interconnected WLAN and 3G networks. Despite the importance of these protocols, most of the protocols are analyzed heuristically. They are lack of formal security treatment. In this paper, we propose a formal key exchange definition and formalize secure roaming under the Canetti-Krawczyk (CK) model. We also propose a formal model for capturing the notions of user anonymity and untraceability. By using the modular approach supported by the CK-model, we construct an efficient key exchange protocol for roaming and then extend it to support user anonymity and untraceability. The protocols are efficient and each of them requires only four message flows among the three parties U, H and V. For building our protocols, we construct a one-pass counter based MT-authenticator and show its security under the assumption of a conventional MAC secure against chosen message attack.

CPK-based Mesh Networks Roaming Authentication Protocol

Inter-domain authentication scheme for Pervasive Computing Environments

Authentication scheme based on biometric encryption for pervasive computing environments

An Efficient Delegation-Based Anonymous Authentication Protocol

Self-certified Mutual Authentication and Key Exchange Protocol for Roaming Services

Mutual Authentication and Key Exchange Protocols for Roaming Services in Wireless Mobile Networks

Mutual Authentication with Anonymity for Roaming Service with Smart Cards in Wireless Communications.

A User Authentication Scheme Based on Elliptic Curves Cryptography for Wireless Ad Hoc Networks

Strong Roaming Authentication Technique for Wireless and Mobile Networks.

A Mutual Authentication and Privacy Mechanism for WLAN Security.

Privacy-Preserving Universal Authentication Protocol for Wireless Communications

Universal Authentication Protocols for Anonymous Wireless Communications

Efficient anonymous roaming and its security analysis

Efficient handover authentication protocol with message integrity for mobile clients in wireless mesh networks

Mutual authentication and key exchange protocols with anonymity property for roaming services

Privacy Preserving Multi-Party Key Exchange Protocol for Wireless Mesh Networks

CRAW: Combination of Re-Keying and Authentication in Wireless Networks for Secure Multicast Increasing Efficiency of Member Join/Leave and Movement

Design and Validation of an Efficient Authentication Scheme with Anonymity for Roaming Service in Global Mobility Networks

A Secure Privacy-Preserving Roaming Protocol Based on Hierarchical Identity-Based Encryption for Mobile Networks

Formal Security Definition and Efficient Construction for Roaming with a Privacy-Preserving Extension

Anonymous User Communication for Privacy Protection in Wireless Metropolitan Mesh Networks