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

• 作者: 刘心松 李泽平 杨雷 皮建勇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: PJY安全协议 串空间模型 认证测试 单射一致性 机密性
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 118-121,180
• 页数: 5页
• 分类号: TP309.2
• 字数: 6107字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2010.01.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘心松	电子科技大学计算机科学与工程学院	62	373	11.0	15.0
2	李泽平	电子科技大学计算机科学与工程学院	10	45	5.0	6.0
3	杨雷		13	16	3.0	3.0
4	皮建勇	贵州大学计算机科学与信息学院	13	48	5.0	6.0