信息安全与通信保密
信息安全與通信保密
신식안전여통신보밀
CHINA INFORMATION SECURITY
2009年
8期
154-155,158
,共3页
徐梦茗%李斌%肖聪
徐夢茗%李斌%肖聰
서몽명%리빈%초총
安全协议%AVISPA%Xemacs
安全協議%AVISPA%Xemacs
안전협의%AVISPA%Xemacs
AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmaes模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论.
AVISPA安全協議分析工具是一套完整、標準的形式化自動分析工具;結閤XEmaes模式能夠設置更加直觀而簡便的操作和編譯環境,對安全協議進行分析併得齣結論.
AVISPA안전협의분석공구시일투완정、표준적형식화자동분석공구;결합XEmaes모식능구설치경가직관이간편적조작화편역배경,대안전협의진행분석병득출결론.