中国电子科学研究院学报
中國電子科學研究院學報
중국전자과학연구원학보
JOURNAL OF CHINA ACADEMY OF ELECTRONICS AND INFORMATION TECHNOLOGY
2010年
2期
152-158
,共7页
符号迹%SPI算子%消息推理%形式化分析
符號跡%SPI算子%消息推理%形式化分析
부호적%SPI산자%소식추리%형식화분석
如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题.提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型.在此模型下,消息间的相互关系被用来统一多种安全属性的形式化表达,定义了相应的属性满足关系,提出了分析安全协议的一般框架.最后给出了一个实例分析,并指出该框架以后的研究方向.
如何準確地描述敵意環境中的協議運行模型和在統一的框架下分析多種安全屬性是安全協議形式化分析中的兩箇關鍵問題.提齣瞭基于時序關繫的消息推理,把實體的知識與協議的符號跡分析結閤起來,構建瞭協議運行的一般模型.在此模型下,消息間的相互關繫被用來統一多種安全屬性的形式化錶達,定義瞭相應的屬性滿足關繫,提齣瞭分析安全協議的一般框架.最後給齣瞭一箇實例分析,併指齣該框架以後的研究方嚮.
여하준학지묘술활의배경중적협의운행모형화재통일적광가하분석다충안전속성시안전협의형식화분석중적량개관건문제.제출료기우시서관계적소식추리,파실체적지식여협의적부호적분석결합기래,구건료협의운행적일반모형.재차모형하,소식간적상호관계피용래통일다충안전속성적형식화표체,정의료상응적속성만족관계,제출료분석안전협의적일반광가.최후급출료일개실례분석,병지출해광가이후적연구방향.
