计算机时代
計算機時代
계산궤시대
COMPUTER ERA
2009年
12期
3-4,7
,共3页
安全协议%形式化方法%自动分析%逻辑推理
安全協議%形式化方法%自動分析%邏輯推理
안전협의%형식화방법%자동분석%라집추리
介绍了安全协议形式化分析方法,给出了一个自动化分析集成工具.该工具基于模态逻辑实现自动推理,采用可视化框架描述协议体.重点分析了该软件的模块结构和工作原理,可为形式化分析工具的设计和开发提供参考.
介紹瞭安全協議形式化分析方法,給齣瞭一箇自動化分析集成工具.該工具基于模態邏輯實現自動推理,採用可視化框架描述協議體.重點分析瞭該軟件的模塊結構和工作原理,可為形式化分析工具的設計和開髮提供參攷.
개소료안전협의형식화분석방법,급출료일개자동화분석집성공구.해공구기우모태라집실현자동추리,채용가시화광가묘술협의체.중점분석료해연건적모괴결구화공작원리,가위형식화분석공구적설계화개발제공삼고.
