计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2011年
4期
1460-1464
,共5页
进程演算%知识推理%安全属性%形式化分析%安全协议
進程縯算%知識推理%安全屬性%形式化分析%安全協議
진정연산%지식추리%안전속성%형식화분석%안전협의
在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题.为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠性和完备性.在此基础上,将知识推理和进程演算结合起来,提出了一个安全协议形式化分析的一般模型.最后,给出了一些安全属性的研究实例,并指出了进一步完善此模型的研究方向.
在安全協議的形式化分析研究噹中,如何在統一的框架下對更多的安全屬性進行分析和驗證是一箇亟待解決的重要問題.為瞭解決這箇問題,提齣瞭用匹配關繫來形式化地描述各種安全屬性的統一框架,建立瞭語法和語義繫統,併證明瞭該框架的可靠性和完備性.在此基礎上,將知識推理和進程縯算結閤起來,提齣瞭一箇安全協議形式化分析的一般模型.最後,給齣瞭一些安全屬性的研究實例,併指齣瞭進一步完善此模型的研究方嚮.
재안전협의적형식화분석연구당중,여하재통일적광가하대경다적안전속성진행분석화험증시일개극대해결적중요문제.위료해결저개문제,제출료용필배관계래형식화지묘술각충안전속성적통일광가,건립료어법화어의계통,병증명료해광가적가고성화완비성.재차기출상,장지식추리화진정연산결합기래,제출료일개안전협의형식화분석적일반모형.최후,급출료일사안전속성적연구실례,병지출료진일보완선차모형적연구방향.
