节点文献
高效安全性可证的双轮双方密钥协商协议
High-efficiency and provably secure key agreement of double rounds in both sides
【摘要】 在完全放开的网络情况下,针对如何构造安全和高效的密钥协商协议,提出了一种双轮双方认证密钥协商协议。利用密钥协商出一个共同会话密钥,将对两方认证的新密钥协商协议中两个模型进行分析,得出构造双轮双方密钥协商协议的基本原则,再对于新形式的两轮密钥协商会议进行的形式化证明,此外构造了一个三轮共同认证的可确认的密钥协商协议。通过实验性能分析表明,新协议在平衡计算量和安全性假设方面,取得了良好的效果。
【Abstract】 Under the circumstance of completely open up of network,in order to guarantee the security of the communication,construct secure and efficient key agreement protocol.A new two rounds two-party authenticated key agreement protocol is proposed.According to the key agreement,two models in the new key agreement protocol by both sides is analyzed with key agreement to make a session key,and then new forms of double rounds key negotiation meeting is proved formally,in addition,a triple rounds confirmed key negotiation meeting is,the good effect is obtained through the experiment performance analysis.
【Key words】 key in both sides; SAKA; eCK security model; security assumption; formal verification;
- 【文献出处】 计算机工程与设计 ,Computer Engineering and Design , 编辑部邮箱 ,2014年02期
- 【分类号】TP393.08
- 【下载频次】60