摘要
针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需提交身份标识即可与服务器实现身份认证,并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明,该协议达到了预期的设计目标。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第12期147-148,151,共3页
Computer Engineering
基金
国家自然科学基金资助项目(60572141)
