| 安全协议的CSP描述技术 |
| |
| 引用本文： | 安靖,王亚弟,韩继红.安全协议的CSP描述技术[J].微计算机信息,2006,22(30):52-55. |
| |
| 作者姓名： | 安靖 王亚弟 韩继红 |
| |
| 作者单位： | 450004,河南省郑州市解放军信息工程大学电子技术学院 |
| |
| 摘 要： | 基于进程代数的CSP方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP相关理论,并以NSPK协议为例系统概述了安全协议的CSP建模方法。为更好的查明协议的安全缺陷,重点研究如何在CSP的体系结构中对协议的安全属性进行形式化描述。并最终提出秘密性、认证性、不可否认性、匿名性的形式化提炼检测目标,为进一步使用模型检测器进行协议验证奠定了理论和技术基础。
|
| 关 键 词： | 建模 进程 入侵者 安全属性 |
| 文章编号： | 1008-0570(2006)10-3-0052-04 |
| 修稿时间： | 2006年2月22日 |
CSP Describing Technology of Security Protocols |
| |
| An Jing,Wang Yadi,Han Jihong.CSP Describing Technology of Security Protocols[J].Control & Automation,2006,22(30):52-55. |
| |
| Authors: | An Jing Wang Yadi Han Jihong |
| |
| Abstract: | |
| |
| Keywords: | Modeling Process Intruder Security Property |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
