安全协议的CSP描述技术

摘要：

基于进程代数的CSP方法是一种重要的形式化协议分析验证方法.本文首先简单介绍了CSP相关理论,并以NSPK协议为例系统概述了安全协议的CSP建模方法.为更好的查明协议的安全缺陷,重点研究如何在CSP的体系结构中对协议的安全属性进行形式化描述.并最终提出秘密性、认证性、不可否认性、匿名性的形式化提炼检测目标,为进一步使用模型检测器进行协议验证奠定了理论和技术基础.

关键词：建模、进程、入侵者、安全属性

所属期刊栏目：22

分类号：TP393.08(计算技术、计算机技术)

资助基金：预研项目

在线出版日期：2006-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：52-55