一种新的安全协议及其串空间模型分析

被引：3

作者：

皮建勇 ^{[1
]}

杨雷 ^{[2
]}

刘心松 ^{[3
]}

李泽平 ^{[3
]}

机构：

[1] 贵州大学计算机科学与信息学院

[2] 中国人民解放军第二炮兵工程设计研究院

[3] 电子科技大学计算机科学与工程学院

来源：

计算机科学 | 2010年 / 37卷 / 01期

关键词：

PJY安全协议; 串空间模型; 认证测试; 单射一致性; 机密性;

D O I：

暂无

中图分类号：

TP393.08 [];

学科分类号：

0839 ; 1402 ;

摘要：

针对有限域上计算离散对数的困难,提出了一种新的身份认证与密钥协商安全协议——PJY。PJY安全协议通过两次握手就可以验证通信双方的身份,同时产生对等的会话密钥。采用串空间模型分析该安全协议的正确性,通过构造渗透串空间模型,采用认证测试证明了PJY安全协议在任意一种攻击串模式下都具有单射一致性和机密性,从而证明了PJY安全协议的正确性。

引用

页码：118 / 121+180 +180

页数：5