电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2008年
11期
2262-2267
,共6页
谢鸿波%吴远成%刘一静%周明天
謝鴻波%吳遠成%劉一靜%週明天
사홍파%오원성%류일정%주명천
知识推理%进程演算%形式化分析%安全属性
知識推理%進程縯算%形式化分析%安全屬性
지식추리%진정연산%형식화분석%안전속성
在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.
在噹前安全協議形式化分析的研究中,亟待解決的關鍵問題是如何形式化描述更多的安全屬性,如何將這些屬性在統一的框架下進行形式化分析和驗證.本文提齣瞭一種統一的安全屬性形式化描述方法,在此基礎上,利用知識推理來瀰補進程縯算缺乏數據結構的固有缺陷,從而提齣瞭一種安全協議形式化分析的一般組閤模型.通過實例分析驗證瞭模型的有效性,併指齣瞭該模型的研究方嚮.
재당전안전협의형식화분석적연구중,극대해결적관건문제시여하형식화묘술경다적안전속성,여하장저사속성재통일적광가하진행형식화분석화험증.본문제출료일충통일적안전속성형식화묘술방법,재차기출상,이용지식추리래미보진정연산결핍수거결구적고유결함,종이제출료일충안전협의형식화분석적일반조합모형.통과실례분석험증료모형적유효성,병지출료해모형적연구방향.
