【摘要】形式化方法是分析和验证安全协议的有效手段.AVISPA工具集是一套建立和分析安全协议模型的形式化自动分析工具,结合SPAN可以对安全协议进行直观而全面的分析并得出结论.本文通过将CAS+规范引入到AVISPA工具集中来对协议进行安全性的分析,利用AVISPA分析发现,使用CAS+规范可以更加直观、简便地对协议进行形式化语言建模,快速准确的推导出分析结果和入侵者轨迹.
【关键词】
全文来源于知网
基于LabVIEW的GPS信号捕获算法实现
王奇波 , 秦红磊 , 王耿锞
2013
10
0
￥:0
收藏
数字坝区综合管网GIS空间数据库的设计与实现
冯德鸿 , 邓小炼 , 刘勇
2013
82
0
￥:0
收藏
基于iOS系统的安全性研究
凌宁 , 张文 , 牛少彰
2013
124
0
￥:0
收藏
一种基于正常读带宽的数据修复方法
郑涵 , 陈海涛 , 卢宇彤
2013
142
0
￥:0
收藏
基于规则引擎的自动运维虚拟器件模型
倪舜谦 , 史殿习 , 郭长国
2013
217
0
￥:0
收藏
