信息安全与通信保密
信息安全與通信保密
신식안전여통신보밀
CHINA INFORMATION SECURITY
2008年
8期
76-78
,共3页
徐梦茗%肖聪%李斌%杜彪
徐夢茗%肖聰%李斌%杜彪
서몽명%초총%리빈%두표
安全协议%形式化%AVISPA%分析
安全協議%形式化%AVISPA%分析
안전협의%형식화%AVISPA%분석
安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的.安全协议分析工具是指一套建立和分析安全协议模型的工具,它采用形式化的分析方法对安全协议进行分析并得出结论.文章以EKE协议为例,采用AVISPA分析工具对其安全性进行分析,给出了安全性与攻击轨迹的关系.
安全協議是指使用密碼技術或提供安全服務的協議,可以實現認證和密鑰交換等安全目的.安全協議分析工具是指一套建立和分析安全協議模型的工具,它採用形式化的分析方法對安全協議進行分析併得齣結論.文章以EKE協議為例,採用AVISPA分析工具對其安全性進行分析,給齣瞭安全性與攻擊軌跡的關繫.
안전협의시지사용밀마기술혹제공안전복무적협의,가이실현인증화밀약교환등안전목적.안전협의분석공구시지일투건립화분석안전협의모형적공구,타채용형식화적분석방법대안전협의진행분석병득출결론.문장이EKE협의위례,채용AVISPA분석공구대기안전성진행분석,급출료안전성여공격궤적적관계.
