论文部分内容阅读
串空间是一种基于定理证明的，新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足，对其进行改进，提出了一种新的Yahalom协议，本文基于串空间模型，运用“理想”和“诚实”作为工具，对改进的Yahalom协议的安全性进行了分析，结果证明了改进的Yahalom协议是安全的。最后通过比较了几种改进的Yahalom协议，说明了此改进是成功的。