基于PCL的改进ISO/IEC 11770-2协议

针对改进后的ISO/IEC 11770-2协议的安全问题,基于协议组合逻辑,对改进ISO/IEC 11770-2协议进行形式化建模和正确性分析。结果表明,改进后ISO/IEC 11770-2协议能够满足保密性和认证性,符合设计协议初衷,同时验证协议组合逻辑在协议安全性分析上的直观性和有效性。