计算机工程 ›› 2008, Vol. 34 ›› Issue (12): 147-148.doi: 10.3969/j.issn.1000-3428.2008.12.051

• 安全技术 • 上一篇    下一篇

隐标识身份认证方法及其形式化语义分析

贺前华,江 瑾,黄翰陞   

  1. (华南理工大学电子与信息工程学院,广州 510640)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-06-20 发布日期:2008-06-20

Hidden-ID Authentication Scheme and Its Formal Semantic Analysis

HE Qian-hua, JIANG Jin, HUANG Han-sen   

  1. (School of Electronic and Information Engineering, South China University of Technology, Guangzhou 510640)
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-06-20 Published:2008-06-20

摘要: 针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需提交身份标识即可与服务器实现身份认证,并采用形式化的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

中图分类号: