安全属性形式化描述统一框架及其分析方法研究

• 作者: 周明天 谢鸿波 谭兴烈
• 来源期刊: 计算机应用研究
• 关键词: 进程演算 知识推理 安全属性 形式化分析 安全协议
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1460-1464
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.04.072

摘要

在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题.为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠性和完备性.在此基础上,将知识推理和进程演算结合起来,提出了一个安全协议形式化分析的一般模型.最后,给出了一些安全属性的研究实例,并指出了进一步完善此模型的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周明天	电子科技大学计算机科学与工程学院	315	3725	27.0	49.0
2	谭兴烈		3	12	2.0	3.0