10.3969/j.issn.1674-9456.2014.06.007
在线交换密钥的挑战-应答身份认证协议及其形式化验证
身份认证协议保障应用系统安全的同时,还能够提供在线交换密钥功能,是很多网络应用系统为解决身份认证方案提出的新需求。针对这个问题,本文基于共享密钥提出一种新的基于挑战-应答机制的在线交换密钥新方案,并详细分析了新方案的交互过程及其安全性证明,并进行了模拟实现。BAN逻辑证明,该方案保证高安全的同时提供了密钥交换功能,协议达到了认证目标。
挑战-应答身份认证协议、密钥交换、BAN逻辑
TP309.2(计算技术、计算机技术)
天津师范大学教育基金52WT1225:校园一卡通系统的安全评估与应用对策研究;国家“八六三”计划项目编号。
2014-07-05(万方平台首次上网日期,不代表论文的发表时间)
共3页
19-21