Hidden-ID Authentication Scheme and its SVO-Logic Based Formal Analysis
Jin Liang Jiang, Lei Li, Zhihong Huang · 2007
Generally, users are required to submit their identity in- formation at the beginning of the authentication process. Hence, adversaries can follow the tracks of specified users' information and decrypt the corresponding authentication messages. Against these security risks caused by identity information, this paper proposes a Hidden-ID authentica- tion scheme, in which users can be authenticated without submitting their identity information directly. Meanwhile, a formal analysis of the Hidden-ID authentication scheme based on SVO Logic is also presented, which shows the pro- posed scheme meets the design objectives.