计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
8期
101-104,176
,共5页
安全协议%形式化方法%分析框架%操作语义
安全協議%形式化方法%分析框架%操作語義
안전협의%형식화방법%분석광가%조작어의
操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题.本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,给出了该框架中的协议规格,协议运行,威胁模型和安全性质等形式化定义.最后,以经典的Needham Schroeder Lowe 协议为例,用该分析框架分析了其机密性和认证性.
操作語義模型是一種用來分析安全協議的新模型,它以操作語義學為基礎,結閤瞭多種協議分析模型的優點,能直接分析多箇協議的組閤問題.本文在對安全協議操作語義模型進行研究的基礎上,構建瞭一箇基于結構化操作語義的安全協議分析框架,給齣瞭該框架中的協議規格,協議運行,威脅模型和安全性質等形式化定義.最後,以經典的Needham Schroeder Lowe 協議為例,用該分析框架分析瞭其機密性和認證性.
조작어의모형시일충용래분석안전협의적신모형,타이조작어의학위기출,결합료다충협의분석모형적우점,능직접분석다개협의적조합문제.본문재대안전협의조작어의모형진행연구적기출상,구건료일개기우결구화조작어의적안전협의분석광가,급출료해광가중적협의규격,협의운행,위협모형화안전성질등형식화정의.최후,이경전적Needham Schroeder Lowe 협의위례,용해분석광가분석료기궤밀성화인증성.
