10.3969/j.issn.1006-6675.2014.01.014
一种基于AVISPA的安全协议形式化分析方法
形式化方法是分析和验证安全协议的有效手段.AVISPA工具集是一套建立和分析安全协议模型的形式化自动分析工具,结合SPAN可以对安全协议进行直观而全面的分析并得出结论.本文通过将CAS+规范引入到AVISPA工具集中来对协议进行安全性的分析,利用AVISPA分析发现,使用CAS+规范可以更加直观、简便地对协议进行形式化语言建模,快速准确的推导出分析结果和入侵者轨迹.
安全协议、AVISPA、CAS+、SPAN
TP391.41;TN915.04;R446
高等学校博士学科点专项科研基金N020124307110014
2014-04-09（万方平台首次上网日期，不代表论文的发表时间）
共6页
53-58
