节点文献

一个基于活体指纹的用户身份认证协议及其形式化分析

Live-fingerprint based user identity authentication protocol and its formal analysis

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 李韶光张险峰秦志光

【Author】 LI Shaoguang, ZHANG Xianfeng, QIN Zhiguang (School of Computer Science and Engineering,UESTC, Chengdu 610054,P.R.China)

【机构】 电子科技大学计算机学院技术中心电子科技大学计算机学院技术中心 四川成都610054四川成都610054四川成都610054

【摘要】 基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析。除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证、有效地抵抗重放攻击、保证认证信息的机密性,并且具有良好的执行效率。

【Abstract】 Based on the requirement of the authentication protocol, a livefingerprint 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 livefingerprint authentication information. And the protocol is characterized by high efficiency as well.

【关键词】 活体指纹认证协议形式化分析
【Key words】 livefingerprintauthenticationprotocolformal analysis
【基金】 国家"863"课题资助(2002AA142040)
  • 【文献出处】 重庆邮电学院学报(自然科学版) ,Journal of Chongqing University of Posts and Telecommunications , 编辑部邮箱 ,2004年06期
  • 【分类号】TP393.08
  • 【被引频次】3
  • 【下载频次】73
节点文献中: 

本文链接的文献网络图示:

本文的引文网络