计算机与现代化
計算機與現代化
계산궤여현대화
COMPUTER AND MODERNIZATION
2008年
5期
86-89
,共4页
安全协议%逻辑推理%模型检测%定理证明%形式化方法
安全協議%邏輯推理%模型檢測%定理證明%形式化方法
안전협의%라집추리%모형검측%정리증명%형식화방법
介绍了当前安全协议分析领域的典型形式化工具,阐述了其基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分析工具的观点.
介紹瞭噹前安全協議分析領域的典型形式化工具,闡述瞭其基本原理和在協議描述、歸約、驗證方麵的研究現狀,對它們的優缺點進行瞭綜閤比較,提齣瞭如何在已有條件下開髮協議分析工具的觀點.
개소료당전안전협의분석영역적전형형식화공구,천술료기기본원리화재협의묘술、귀약、험증방면적연구현상,대타문적우결점진행료종합비교,제출료여하재이유조건하개발협의분석공구적관점.
