-
题名一种安全协议的组合分析模型研究
被引量：1
- 1
-
-
作者
谢鸿波
吴远成
刘一静
周明天
-
机构
电子科技大学计算机科学与工程学院
重庆通信学院三系数据链教研室
四川大学计算机学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2008年第11期2262-2267,共6页
-
基金
电子科学基金(No.514500101DZ02)
国家重点基础研究发展规划项目(No.G1999035803)
-
文摘
在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.
-
关键词
知识推理
进程演算
形式化分析
安全属性
-
Keywords
knowledge derivation
process calculus
formal analysisi security property
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名统一的安全属性形式化描述方法的研究
- 2
-
-
作者
谢鸿波
吴远成
周明天
-
机构
电子科技大学计算机科学与工程学院
重庆通信学院三系数据链教研室
-
出处
《计算机科学》
CSCD
北大核心
2008年第9期172-174,186,共4页
-
基金
国家863项目863-104-03-01课题资助
-
文摘
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达。通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法。
-
关键词
协议分析
形式化分析方法
安全属性
-
Keywords
Protocol analysis, Security properties, Formal analysis
-
分类号
TP311.134
[自动化与计算机技术—计算机软件与理论]
TP316.89
[自动化与计算机技术—计算机软件与理论]
-
