A Study on the Combined Analysis Model of Security Protocols

XIE Hong-bo; WU Yuan-cheng; LIU Yi-jing; ZHOU Ming-tian

您当前的位置：

首页 >

文章列表页 >

A Study on the Combined Analysis Model of Security Protocols

更新时间：2025-07-16

- A Study on the Combined Analysis Model of Security Protocols
- Acta Electronica Sinica Vol. 36, Issue 11, Pages: 2262-2267(2008)
- 作者机构：
  
  1. 电子科技大学计算机科学与工程学院,四川,成都,610054
  2. 重庆通信学院三系数据链教研室,重庆,400035
  3. 四川大学计算机学院,四川,成都,610065
  4. 电子科技大学计算机科学与工程学院四川成都,610054
  5. 重庆通信学院三系数据链教研室重庆,400035
  6. 四川大学计算机学院四川成都,610065
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393.08
- Published：2008
- 稿件说明：
移动端阅览
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：

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

Views

680

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Representing Chordal Bipartite Graph Using Concept Lattice Theory

Related Author

LI Li-feng

LIU San-yang

LUO Qing-jun

Related Institution

西安电子科技大学理学院数学系

西安邮电大学理学院

西安财经学院理学院

⁰