计算机科学 ›› 2010, Vol. 37 ›› Issue (1): 118-121.

• 计算机网络与信息安全 • 上一篇    下一篇

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

皮建勇,杨雷,刘心松,李泽平   

  1. (贵州大学计算机科学与信息学院 贵阳550025);(中国人民解放军第二炮兵工程设计研究院 北京100011);(电子科技大学计算机科学与工程学院 成都610054)
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受四川省应用基础研究项目(04JY029-017-2 ),科技型中小企业技术创新基金(04026225110223)资助。

Novel Security Protocol and Strand Space Analysis

PI Jian-yong,YANG Lei,LIU Xin-song,LI Ze-ping   

  • Online:2018-12-01 Published:2018-12-01

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

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

Abstract: 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.

Key words: PJY security protocol, Strand space, Authentication tests, Injective agreement, Secrecy

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!