文件名称：论文研究-一种改进的IKEv2协议及其形式化验证.pdf
文件大小：263KB
文件格式：PDF
更新时间：2022-08-11 17:27:48
IKEv2协议,身份保护,Weil对,应用pi演算
针对IKEv2协议在系统开销和发起方身份保护方面的不足，提出了一种改进协议的方案。新的协议采用基于超椭圆曲线的Weil对技术进行数字签名认证，并且首先认证响应方身份。通过该方案，改进后的协议降低了系统开销，实现了对发起方身份的主动保护。最后，基于应用pi演算的方法对协议进行了建模，并定义和分析了协议的安全属性。结果表明，改进后的协议具有更好的安全性和实用性。