10.3969/j.issn.1000-3428.2009.20.053
适应受限环境的认证协议及其SVO逻辑分析
针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥.采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明该协议的安全性符合要求.
安全协议、身份认证、会话密钥、SVO逻辑、逻辑分析
35
TP309(计算技术、计算机技术)
国家自然科学基金资助项目60773053
2009-12-04(万方平台首次上网日期,不代表论文的发表时间)
共3页
151-152,156