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

Analysis of the Improved ISO/IEC 11770-2 Protocol Based on PCL

作　　者：刘守仁 余磊[1] LIU Shouren;YU Lei(School of Computer Science and Technology,Huaibei Normal University,235000,Huaibei,Anhui,China)

机构地区：[1]淮北师范大学计算机科学与技术学院,安徽淮北235000

出　　处：《淮北师范大学学报（自然科学版）》2024年第4期68-72,共5页Journal of Huaibei Normal University：Natural Sciences

基　　金：2021年横向课题(2022340603000254)。

摘　　要：针对改进后的ISO/IEC 11770-2协议的安全问题,基于协议组合逻辑,对改进ISO/IEC 11770-2协议进行形式化建模和正确性分析。结果表明,改进后ISO/IEC 11770-2协议能够满足保密性和认证性,符合设计协议初衷,同时验证协议组合逻辑在协议安全性分析上的直观性和有效性。Regarding the security issues of the improved ISO/IEC 11770-2 protocol,formal modeling and correctness analysis were conducted based on protocol composition logic.The analysis results showed that the improved ISO/IEC 11770-2 protocol can satisfy confidentiality and authenticity requirements,which confirms to the original design intent of the protocol,and verifies the intuitiveness and effectiveness of protocol composition logic in protocol security analysis.

关 键 词：协议组合逻辑 ISO/IEC 11770-2 认证机密性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]