Yahalom协议相关论文
串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足,对其进行改进,提出了一种新的Yahalom协......
终端间视频通信应用Yahalom协议将保证通信的安全性。分析了Yahalom协议的基本原理,并基于此原理对可视电话的视频安全通信进行了......
