节点文献
一个基于活体指纹的用户身份认证协议及其形式化分析
Live-fingerprint based user identity authentication protocol and its formal analysis
【摘要】 基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析。除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证、有效地抵抗重放攻击、保证认证信息的机密性,并且具有良好的执行效率。
【Abstract】 Based on the requirement of the authentication protocol, a livefingerprint based user identity authentication protocol is presented and analyzed formally by BAN logic. Besides formal analysis, the authors also study the protocol by qualitative analysis. This protocol enables two entities to authenticate each other on computer network, resists any cheat and relay attack, and protects livefingerprint authentication information. And the protocol is characterized by high efficiency as well.
【基金】 国家"863"课题资助(2002AA142040)
- 【文献出处】 重庆邮电学院学报(自然科学版) ,Journal of Chongqing University of Posts and Telecommunications , 编辑部邮箱 ,2004年06期
- 【分类号】TP393.08
- 【被引频次】3
- 【下载频次】73