Hidden-ID Authentication Scheme and its SVO-Logic Based Formal Analysis

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.