摘要: 针对有限域上计算离散对数的困难,提出了一种新的身份认证与密钥协商安全协议——PJY。PJY安全协议通过两次握手就可以验证通信双方的身份,同时产生对等的会话密钥。采用串空间模型分析该安全协议的正确性,通过构造渗透串空间模型,采用认证测试证明了PJY安全协议在任意一种攻击串模式下都具有单射一致性和机密性,从而证明了PJY安全协议的正确性。
皮建勇,杨雷,刘心松,李泽平. 一种新的安全协议及其串空间模型分析[J]. 计算机科学, 2010, 37(1): 118-121. https://doi.org/
PI Jian-yong,YANG Lei,LIU Xin-song,LI Ze-ping. Novel Security Protocol and Strand Space Analysis[J]. Computer Science, 2010, 37(1): 118-121. https://doi.org/