中国电子商情·通信市场
中國電子商情·通信市場
중국전자상정·통신시장
TELECOM MARKET
2014年
1期
53-58
,共6页
安全协议%AVISPA%CAS+%SPAN
安全協議%AVISPA%CAS+%SPAN
안전협의%AVISPA%CAS+%SPAN
形式化方法是分析和验证安全协议的有效手段.AVISPA工具集是一套建立和分析安全协议模型的形式化自动分析工具,结合SPAN可以对安全协议进行直观而全面的分析并得出结论.本文通过将CAS+规范引入到AVISPA工具集中来对协议进行安全性的分析,利用AVISPA分析发现,使用CAS+规范可以更加直观、简便地对协议进行形式化语言建模,快速准确的推导出分析结果和入侵者轨迹.
形式化方法是分析和驗證安全協議的有效手段.AVISPA工具集是一套建立和分析安全協議模型的形式化自動分析工具,結閤SPAN可以對安全協議進行直觀而全麵的分析併得齣結論.本文通過將CAS+規範引入到AVISPA工具集中來對協議進行安全性的分析,利用AVISPA分析髮現,使用CAS+規範可以更加直觀、簡便地對協議進行形式化語言建模,快速準確的推導齣分析結果和入侵者軌跡.
형식화방법시분석화험증안전협의적유효수단.AVISPA공구집시일투건립화분석안전협의모형적형식화자동분석공구,결합SPAN가이대안전협의진행직관이전면적분석병득출결론.본문통과장CAS+규범인입도AVISPA공구집중래대협의진행안전성적분석,이용AVISPA분석발현,사용CAS+규범가이경가직관、간편지대협의진행형식화어언건모,쾌속준학적추도출분석결과화입침자궤적.