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

Novel Security Protocol and Strand Space Analysis

作　　者：皮建勇[1] 杨雷[2] 刘心松[3] 李泽平[3] 

机构地区：[1]贵州大学计算机科学与信息学院,贵阳550025 [2]中国人民解放军第二炮兵工程设计研究院.北京100011 [3]电子科技大学计算机科学与工程学院,成都610054

出　　处：《计算机科学》2010年第1期118-121,180,共5页Computer Science

基　　金：四川省应用基础研究项目(04JY029-017-2);科技型中小企业技术创新基金(04C26225110223)资助

摘　　要：针对有限域上计算离散对数的困难,提出了一种新的身份认证与密钥协商安全协议——PJY。PJY安全协议通过两次握手就可以验证通信双方的身份,同时产生对等的会话密钥。采用串空间模型分析该安全协议的正确性,通过构造渗透串空间模型,采用认证测试证明了PJY安全协议在任意一种攻击串模式下都具有单射一致性和机密性,从而证明了PJY安全协议的正确性。We proposed a novel PJY identity authentication and key agreement security protocol based on computational difficulty of discrete logarithm in finite field. The PJY security protocol can validate identity of the both parties with two session, and generate peer session key. We analyzed the correctness of the security protocol on strand space model. First we constructed infiltrate strand space, and proved the PJY security protocol has injective agreement and secrecy by authentication tests under arbitrary penetration strand,so proved the PJY security protocol is correct.

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

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]