计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
2期
114-118,136
,共6页
韩继红%范钰丹%王亚弟%郭渊博
韓繼紅%範鈺丹%王亞弟%郭淵博
한계홍%범옥단%왕아제%곽연박
安全协议%形式化分析%模型%语义
安全協議%形式化分析%模型%語義
안전협의%형식화분석%모형%어의
在分析实际网络环境中安全协议的运行特点之后,提出了安全协议建模分析的两点基本假设.在此基础上,提出了一种基于语义的安全协议形式化模型,具体包括基于角色事件的协议静态描述模型和基于运行状态的协议动态执行模型,给出了模型的基本语法及形式语义,明确了模型推理过程中涉及到的一些关键性概念,并以简化的NSL协议为例进行了说明,为实现自动化验证打下了必要的基础.
在分析實際網絡環境中安全協議的運行特點之後,提齣瞭安全協議建模分析的兩點基本假設.在此基礎上,提齣瞭一種基于語義的安全協議形式化模型,具體包括基于角色事件的協議靜態描述模型和基于運行狀態的協議動態執行模型,給齣瞭模型的基本語法及形式語義,明確瞭模型推理過程中涉及到的一些關鍵性概唸,併以簡化的NSL協議為例進行瞭說明,為實現自動化驗證打下瞭必要的基礎.
재분석실제망락배경중안전협의적운행특점지후,제출료안전협의건모분석적량점기본가설.재차기출상,제출료일충기우어의적안전협의형식화모형,구체포괄기우각색사건적협의정태묘술모형화기우운행상태적협의동태집행모형,급출료모형적기본어법급형식어의,명학료모형추리과정중섭급도적일사관건성개념,병이간화적NSL협의위례진행료설명,위실현자동화험증타하료필요적기출.
