摘要
Strand空间模型是利用图的形式来描述和分析安全协议的。通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试理论应用于安全协议分析中,根据认证测试理论我们得出了一个剪枝定理。研究表明该剪枝定理能够大大减少协议分析中的冗余状态,提高了协议分析的效率。
Strand Space model represents and analyses the protocols by using graph. An overview of state space reduction technique is given in this paper via the study of the model. We have studied the application of Authentication Test in protocol analysis, and forwarded a pruning theorem based on Authentication Test. Researches have showed that the pruning theorem can reduce the state space and improve the efficiency of protocol analysis.
出处
《微计算机信息》
北大核心
2007年第27期75-77,共3页
Control & Automation
基金
国家自然科学基金(69873040)
关键词
安全协议分析
串空间模型
状态空间剪枝
认证测试
剪枝定理
security protocol analysis, Strand Space model, state space pruning, Authentication Test, Pruning theorem
