安全协议分析中的状态空间简化技术
通过对基于Strand空间模型的安全协议分析方法的研究,提出了协议分析过程中改进的状态空间简化技术,即在协议分析中将状态空间简化技术与剪枝定理相结合,以达到更加有效地简化状态空间的目的.并以Needham-Schroeder-Lowe协议为例,说明了利用该技术进行协议分析的过程.
安全协议分析、状态空间简化技术、剪枝定理
24
TP393.08(计算技术、计算机技术)
山东省资助项目003090309
2004-05-14(万方平台首次上网日期,不代表论文的发表时间)
共3页
119-120,143