One-pass key establishment model and protocols for wireless roaming with user anonymity

Key Establishment for Wireless Roaming (KE-WR) is ex-pected to ensurea mobile user to establish a fresh session key with a foreign WSP and also roam from one foreign network domain to another while enjoying the roaming services. However, so far there is no ID-based KE-WR protocol proposed in the literatures with a formal secu-rity proof in an appropriate model. The main work of this article address the current gap by first proposing a vari-ation of classic CK and eCK model to support the wire-less roaming scenario, which is called rCK model. This article extend classic security model byintroducing the simulation of broadcast query and multiple Key Genera-tionCenter scenario and also giving the re-defined session definitions and additional adversary capability. Second, this article proposes a novel suite of One-Pass Key Estab-lishment Protocols for Wireless Roaming.