一种基于AVISPA的安全协议形式化分析方法

摘要：

形式化方法是分析和验证安全协议的有效手段.AVISPA工具集是一套建立和分析安全协议模型的形式化自动分析工具,结合SPAN可以对安全协议进行直观而全面的分析并得出结论.本文通过将CAS+规范引入到AVISPA工具集中来对协议进行安全性的分析,利用AVISPA分析发现,使用CAS+规范可以更加直观、简便地对协议进行形式化语言建模,快速准确的推导出分析结果和入侵者轨迹.

关键词：安全协议、AVISPA、CAS+、SPAN

分类号：TP391.41;TN915.04;R446

资助基金：高等学校博士学科点专项科研基金N020124307110014

在线出版日期：2014-04-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：53-58