共 13 条
基于极小元理论的改进MTI认证协议分析
被引:1
|作者:

论文数: 引用数:
h-index:
机构:

论文数: 引用数:
h-index:
机构:
机构:
[1] 淮北师范大学计算机科学与技术学院
关键词:
安全协议;
串空间;
改进MTI认证协议;
安全性分析;
D O I:
暂无
中图分类号:
TP309 [安全保密];
学科分类号:
081201 ;
0839 ;
1402 ;
摘要:
针对改进后的MTI协议,通过串空间模型中的极小元理论,对改进MTI协议的一致性和保密性进行分析,验证改进后MTI协议的安全性,得到改进MTI协议可以安全保密地实现协议的目的这一结论。
引用
收藏
页码:64 / 69
页数:6
相关论文
共 13 条
- [1] 典型的攻击方法[J]. 网络安全和信息化, 2022, (06) : 51 - 55彭硕论文数: 0 引用数: 0 h-index: 0刘羽论文数: 0 引用数: 0 h-index: 0吴文桐论文数: 0 引用数: 0 h-index: 0
- [2] 基于事件的群组密钥协商协议形式化分析研究[J]. 信息网络安全, 2022, (05) : 30 - 36沈延论文数: 0 引用数: 0 h-index: 0机构: 江南计算技术研究所 江南计算技术研究所姚萌萌论文数: 0 引用数: 0 h-index: 0机构: 江南计算技术研究所 江南计算技术研究所
- [3] 一种防止重放攻击的设计方案[J]. 网络安全技术与应用, 2022, (02) : 15 - 17马俊明论文数: 0 引用数: 0 h-index: 0机构: 中电科鹏跃电子科技有限公司 中电科鹏跃电子科技有限公司
- [5] 基于串空间的安全协议形式化分析研究[J]. 信息网络安全, 2020, 20 (02) : 30 - 36姚萌萌论文数: 0 引用数: 0 h-index: 0机构: 江南计算技术研究所 江南计算技术研究所唐黎论文数: 0 引用数: 0 h-index: 0机构: 江南计算技术研究所 江南计算技术研究所凌永兴论文数: 0 引用数: 0 h-index: 0机构: 江南计算技术研究所 江南计算技术研究所肖卫东论文数: 0 引用数: 0 h-index: 0机构: 国防大学联合勤务学院 江南计算技术研究所
- [6] 一种面向WSN的双向身份认证协议及串空间模型[J]. 计算机科学, 2019, 46 (09) : 169 - 175刘静论文数: 0 引用数: 0 h-index: 0机构: 北京工业大学信息学部赖英旭论文数: 0 引用数: 0 h-index: 0机构: 北京工业大学信息学部杨胜志论文数: 0 引用数: 0 h-index: 0机构: 北京工业大学信息学部Lina Xu论文数: 0 引用数: 0 h-index: 0机构: 北京工业大学信息学部
- [7] 基于主体关联度的安全协议形式化分析方法[J]. 信息网络安全, 2018, (06) : 45 - 51论文数: 引用数: h-index:机构:魏仕民论文数: 0 引用数: 0 h-index: 0机构: 淮北师范大学计算机科学与技术学院 淮北师范大学计算机科学与技术学院江明明论文数: 0 引用数: 0 h-index: 0机构: 淮北师范大学计算机科学与技术学院 淮北师范大学计算机科学与技术学院
- [8] 基于伪ID的RFID认证协议及串空间证明[J]. 计算机科学, 2017, 44 (10) : 142 - 146论文数: 引用数: h-index:机构:苑津莎论文数: 0 引用数: 0 h-index: 0机构: 华北电力大学电气与电子工程学院 华北电力大学电气与电子工程学院高会生论文数: 0 引用数: 0 h-index: 0机构: 华北电力大学电气与电子工程学院 华北电力大学电气与电子工程学院论文数: 引用数: h-index:机构:赵振兵论文数: 0 引用数: 0 h-index: 0机构: 华北电力大学电气与电子工程学院 华北电力大学电气与电子工程学院
- [9] 一种改进的MTI认证密钥协商协议[J]. 自动化与仪器仪表, 2013, (06) : 132 - 133林沛论文数: 0 引用数: 0 h-index: 0机构: 兰州文理学院 兰州文理学院胡建军论文数: 0 引用数: 0 h-index: 0机构: 兰州文理学院 兰州文理学院李恒杰论文数: 0 引用数: 0 h-index: 0机构: 兰州文理学院 兰州文理学院
- [10] Formal Verification and Analysis of 5G AKA Protocol Using Mixed Strand Space Model[J]. ELECTRONICS, 2022, 11 (09)Xiao, Yuelei论文数: 0 引用数: 0 h-index: 0机构: Xian Univ Post & Telecommun, Sch Modern Posts, Xian 710061, Peoples R China Shaanxi Prov Informat Engn Res Inst, Xian 710121, Peoples R China Xian Univ Post & Telecommun, Sch Modern Posts, Xian 710061, Peoples R ChinaGao, Shan论文数: 0 引用数: 0 h-index: 0机构: Xian Univ Post & Telecommunicat, Sch Comp, Xian 710061, Peoples R China Xian Univ Post & Telecommun, Sch Modern Posts, Xian 710061, Peoples R China