论文研究一种改进的IKEv2协议及其形式化验证.pdf

针对IKEv2协议在系统开销和发起方身份保护方面的不足，提出了一种改进协议的方案。新的协议采用基于超椭圆曲线的Weil对技术进行数字签名认证，并且首先认证响应方身份。通过该方案，改进后的协议降低了系统开销，实现了对发起方身份的主动保护。最后，基于应用pi演算的方法对协议进行了建模，并定义和分析了协议的安全属性。结果表明，改进后的协议具有更好的安全性和实用性。