一种安全协议的组合分析模型研究

• 作者: 刘一静 吴远成 周明天 谢鸿波
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 知识推理 进程演算 形式化分析 安全属性
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 科研通信
• 页码范围: 2262-2267
• 页数: 6页
• 分类号: TP393.08
• 字数: 6087字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2008.11.034

摘要

在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周明天	电子科技大学计算机科学与工程学院	315	3725	27.0	49.0
2	刘一静	四川大学计算机学院	7	45	3.0	6.0
3	吴远成	电子科技大学计算机科学与工程学院	6	19	2.0	4.0
4	谢鸿波	电子科技大学计算机科学与工程学院	6	18	3.0	4.0