摘要: 针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需提交身份标识即可与服务器实现身份认证,并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明,该协议达到了预期的设计目标。
关键词:
隐标识身份认证方法,
SVO逻辑,
形式化语义分析
Abstract: The leakage of user identifier can cause security problems in authentication process. This paper proposes a hidden-ID authentication scheme in which user can be authenticated by the authentication server, without providing its identifier directly. A formal analysis of the hidden-ID authentication scheme based on SVO Logic is presented, which shows the scheme meets the design goals.
Key words:
hidden-ID authentication scheme,
SVO logic,
formal semantic analysis
中图分类号:
贺前华;江 瑾;黄翰陞. 隐标识身份认证方法及其形式化语义分析[J]. 计算机工程, 2008, 34(12): 147-148.
HE Qian-hua; JIANG Jin; HUANG Han-sen. Hidden-ID Authentication Scheme and Its Formal Semantic Analysis[J]. Computer Engineering, 2008, 34(12): 147-148.