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

针对改进后的MTI协议,通过串空间模型中的极小元理论,对改进MTI协议的一致性和保密性进行分析,验证改进后MTI协议的安全性,得到改进MTI协议可以安全保密地实现协议的目的这一结论。

一种改进的MTI认证密钥协商协议

分析了MTI协议在设计上存在的不足,提出一种改进的MTI协议。分析表明,改进的MTI协议是一个安全的协议,具备抗击burmester、重放攻击和并行会话的能力。改进的MTI协议对于分析和设计新的协议具有一定的借鉴意义。

基于STS和MTI的三方密钥交换协议设计

DH密钥交换协议作为传统的密钥交换协议,具有无法抵御中间人攻击的缺陷。STS密钥交换协议和MTI密钥交换协议在DH密钥交换协议上添加了认证功能,预防了中间人攻击,但这两种方案都是两方协议。本文基于STS密钥交换协议和MTI密钥交换协议,设计并给出了两个可认证的三方密钥交换协议:一个是Tripartite STS(TSTS)密钥交换协议,另一个是Tripartite MTI(TMTI)密钥交换协议。这两个协议都可以抵御中间人攻击,具有高安全性和三方协议的功能性和适用性。比较而言,TSTS协议是一个四轮协议,需要协议的用户建立并使用自己的签名系统,使TSTS协议具有密钥确认的功能;TMTI协议是一个三轮协议,不需要协议的用户建立并使用签名系统。因此TMTI协议的步骤更为简单,也更便于应用。

基于MTi的三维姿态测量系统研究

针对高精度三维姿态测量的需求背景,基于高度集成化的姿态测量器件MTi,系统地分析了其参考坐标系、输出参数和传输协议,结合单片机控制设计了相应的姿态测量系统,并进行实验测试.结果表明,该测量系统具有较高的测量精度,为姿态测量和控制的实际应用提供了一种新的方法和技术途径.

密钥交换协议前向安全性的自动化分析

会话密钥的安全影响了整个通信网络的安全,前向安全性是密钥交换协议中保证会话密钥安全的一种特殊的安全属性。首先扩展了应用PI演算,增加了阶段进程语法描述协议的前向安全性;然后提出了一个基于一阶定理证明器Pro Verif的前向安全性自动化分析方法;最后运用这种方法分析了两种典型的密钥交换协议,STS协议和MTI协议的前向安全性,分析结果表明该方法简单可靠。