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

被引:1
|
作者
纵汶倍 [1 ]
余磊 [1 ]
机构
[1] 淮北师范大学计算机科学与技术学院
关键词
安全协议; 串空间; 改进MTI认证协议; 安全性分析;
D O I
暂无
中图分类号
TP309 [安全保密];
学科分类号
081201 ; 0839 ; 1402 ;
摘要
针对改进后的MTI协议,通过串空间模型中的极小元理论,对改进MTI协议的一致性和保密性进行分析,验证改进后MTI协议的安全性,得到改进MTI协议可以安全保密地实现协议的目的这一结论。
引用
收藏
页码:64 / 69
页数:6
相关论文
共 13 条