一个基于活体指纹的用户身份认证协议及其形式化分析 |
| |
引用本文: | 李韶光 张险峰 秦志光. 一个基于活体指纹的用户身份认证协议及其形式化分析[J]. 重庆邮电学院学报(自然科学版), 2004, 16(6): 57-60,121 |
| |
作者姓名: | 李韶光 张险峰 秦志光 |
| |
作者单位: | 电子科技大学计算机学院技术中心,电子科技大学计算机学院技术中心,电子科技大学计算机学院技术中心 四川成都610054,四川成都610054,四川成都610054 |
| |
摘 要: | 基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析。除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证、有效地抵抗重放攻击、保证认证信息的机密性,并且具有良好的执行效率。
|
关 键 词: | 活体指纹 认证 协议 形式化分析 |
Live-fingerprint based user identity authentication protocol and its formal analysis |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 等数据库收录! |
|