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

谢鸿波; 吴远成; 刘一静; 周明天

您当前的位置：

首页 >

文章列表页 >

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

论文 | 更新时间：2025-07-16

- 一种安全协议的组合分析模型研究
- A Study on the Combined Analysis Model of Security Protocols
- 电子学报 2008年36卷第11期页码：2262-2267
- 作者机构：
  
  1. 电子科技大学计算机科学与工程学院,四川,成都,610054
  2. 重庆通信学院三系数据链教研室,重庆,400035
  3. 四川大学计算机学院,四川,成都,610065
  4. 电子科技大学计算机科学与工程学院四川成都,610054
  5. 重庆通信学院三系数据链教研室重庆,400035
  6. 四川大学计算机学院四川成都,610065
- 作者简介：
- 基金信息：
  
  电子科学基金 (No.514500101DZ02);国家重点基础研究发展规划项目 (No.G1999035803)
- DOI：
  中图分类号： TP393.08
- 纸质出版：2008
- 稿件说明：
移动端阅览
谢鸿波, 吴远成, 刘一静, 等. 一种安全协议的组合分析模型研究[J]. 电子学报, 2008,36(11):2262-2267.

XIE Hong-bo, WU Yuan-cheng, LIU Yi-jing, et al. A Study on the Combined Analysis Model of Security Protocols[J]. Acta Electronica Sinica, 2008, 36(11): 2262-2267.
谢鸿波, 吴远成, 刘一静, 等. 一种安全协议的组合分析模型研究[J]. 电子学报, 2008,36(11):2262-2267. DOI：

XIE Hong-bo, WU Yuan-cheng, LIU Yi-jing, et al. A Study on the Combined Analysis Model of Security Protocols[J]. Acta Electronica Sinica, 2008, 36(11): 2262-2267. DOI：

摘要

在当前安全协议形式化分析的研究中

亟待解决的关键问题是如何形式化描述更多的安全属性

如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法

在此基础上

利用知识推理来弥补进程演算缺乏数据结构的固有缺陷

从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性

并指出了该模型的研究方向.

Abstract

In the current study on the formal analysis of security protocols

it is desiderated to formally define more security properties and to build a uniform framework to analysis and verify them.In this paper

a unified formal method for defining the security property is presented.The knowledge derivation is used to overcome the inherent limitation in the process calculus for the lack of data structures.Based on this

a generic combined model is proposed for the formal analysis of security protocols

which can be used as a unified framework.The validity of this model is proved by a case study.Some future directions are also pointed out.

关键词

Keywords

references

浏览量

680

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

弦二部图的概念格表示