| 一个基于活体指纹的用户身份认证协议及其形式化分析 |
| |
| 引用本文： | 李韶光,张险峰,秦志光. 一个基于活体指纹的用户身份认证协议及其形式化分析[J]. 重庆邮电大学学报(自然科学版), 2004, 16(6): 57-60 |
| |
| 作者姓名： | 李韶光 张险峰 秦志光 |
| |
| 作者单位： | 电子科技大学 计算机学院IBM技术中心，四川 成都 610054 |
| |
| 基金项目： | 国家“863”课题资助(2002AA142040) |
| |
| 摘 要： | 基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析.除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证,有效地抵抗重放攻击,保证认证信息的机密性.并且具有良好的执行效率.
|
| 关 键 词： | 活体指纹 认证 协议 形式化分析 |
| 收稿时间： | 2004-02-17 |
Live-fingerprint based user identity authentication protocol and its formal analysis |
| |
| LI Shao-guang,ZHANG Xian-feng,QIN Zhi-guang. Live-fingerprint based user identity authentication protocol and its formal analysis[J]. Journal of Chongqing University of Posts and Telecommunications, 2004, 16(6): 57-60 |
| |
| Authors: | LI Shao-guang ZHANG Xian-feng QIN Zhi-guang |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《重庆邮电大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《重庆邮电大学学报(自然科学版)》下载全文 |
