基于极小元理论的改进MTI认证协议分析  

Analysis of Improved MTI Authentication Protocol Based on Minimal Element Theory

作　　者：纵汶倍 余磊[1] ZONG Wenbei;YU Lei(School of Computer Science and Technology,Huaibei Normal Universtiy,235000,Huaibei,Anhui,China)

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

出　　处：《淮北师范大学学报（自然科学版）》2023年第1期64-69,共6页Journal of Huaibei Normal University：Natural Sciences

基　　金：安徽省高校自然科学研究项目(KJ2020A0034);2021横向课题(2022340603000254)。

摘　　要：针对改进后的MTI协议,通过串空间模型中的极小元理论,对改进MTI协议的一致性和保密性进行分析,验证改进后MTI协议的安全性,得到改进MTI协议可以安全保密地实现协议的目的这一结论。In view of the improved MTI protocol,the consistency and confidentiality of the improved MTI protocol were analyzed through the minimal element theory in the strand space model and the security of the improved MTI protocol was verified. The conclusion that the improved MTI protocol can achieve the purpose of the protocol safely and confidentially was obtained.

关 键 词：安全协议 串空间 改进MTI认证协议 安全性分析 

分 类 号：TP[自动化与计算机技术]