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

被引：0
|
作者：
刘守仁
余磊
机构：
[1] 淮北师范大学计算机科学与技术学院
来源：
淮北师范大学学报(自然科学版). | 2024年 / 45卷 / 04期
关键词：
协议组合逻辑; ISO/IEC 11770-2; 认证机密性;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
针对改进后的ISO/IEC 11770-2协议的安全问题，基于协议组合逻辑，对改进ISO/IEC 11770-2协议进行形式化建模和正确性分析。结果表明，改进后ISO/IEC 11770-2协议能够满足保密性和认证性，符合设计协议初衷，同时验证协议组合逻辑在协议安全性分析上的直观性和有效性。
引用
收藏
页数：5
相关论文
共 13 条
  • [1] 基于MI-PUF的V2X车联网通信安全认证协议
    谭伟杰
    杨雨婷
    牛坤
    彭长根
    [J]. 信息网络安全, 2023, 23 (12) : 38 - 48
  • [2] 开源密码软件供应链安全综述
    荣景峰
    刘新荣
    贾培养
    葛平原
    陈颖
    司喜绢
    孙承一
    张玉清
    [J]. 密码学报, 2023, 10 (05) : 966 - 985
  • [3] 数据安全专题序言
    郝志强
    李俊
    陈立全
    王佰玲
    孙建国
    张立国
    [J]. 计算机科学, 2023, 50 (09) : 1 - 2
  • [4] 基于极小元理论的改进MTI认证协议分析
    纵汶倍
    余磊
    [J]. 淮北师范大学学报(自然科学版), 2023, 44 (01) : 64 - 69
  • [5] 基于事件的群组密钥协商协议形式化分析研究
    沈延
    姚萌萌
    [J]. 信息网络安全, 2022, (05) : 30 - 36
  • [6] 基于Tamarin的5G AKA协议形式化分析及其改进方法
    刘镝
    王梓屹
    李大伟
    关振宇
    孙钰
    刘建伟
    [J]. 密码学报, 2022, (02) : 237 - 247
  • [7] 一种基于一次性口令的增强Kerberos协议方法及其形式化分析
    马利民
    张伟
    宋莹
    [J]. 信息网络安全, 2019, (10) : 57 - 64
  • [8] 安全协议形式化分析理论与方法研究综述.[J].冯登国,范红.中国科学院研究生院学报.2003, 04
  • [9] Formal Verification and Analysis of 5G AKA Protocol Using Mixed Strand Space Model
    Xiao, Yuelei
    Gao, Shan
    [J]. ELECTRONICS, 2022, 11 (09)
  • [10] Blockchain-Based Decentralized Trust Management in Vehicular Networks
    Yang, Zhe
    Yang, Kan
    Lei, Lei
    Zheng, Kan
    Leung, Victor C. M.
    [J]. IEEE INTERNET OF THINGS JOURNAL, 2019, 6 (02): : 1495 - 1505
12