安全协议的CSP描述技术

• 作者: 安靖 王亚弟 韩继红
• 来源期刊: 科技与创新
• 关键词: 建模 进程 入侵者 安全属性
• 年，卷（期）: 2006,（30）
• 所属期刊栏目: 信息安全
• 页码范围: 52-55
• 页数: 4页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2006.30.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	安靖	河南省郑州市解放军信息工程大学电子技术学院	1	7	1.0	1.0
2	王亚弟	河南省郑州市解放军信息工程大学电子技术学院	1	7	1.0	1.0
3	韩继红	河南省郑州市解放军信息工程大学电子技术学院	1	7	1.0	1.0