CSP方式的安全协议建模研究

• 作者: 薛明
• 来源期刊: 科技信息(学术版)
• 学科: 工学
• 关键词: 安全协议 通信顺序进程 保密性 认证性
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 高校理科研究1
• 页码范围: 79-81
• 页数: 3页
• 分类号: TP3
• 字数: 3417字
• 语种: 中文

摘要

本文使用通信顺序进程(Communicating Sequential Process)建模和分析认证协议,CSP有着良好的语义来描述认证协议,并且比较适合分析协议的特性.本文阐述了如何使用CSP对协议建模并在CSP基础上描述了安全协议的安全性所要满足的条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛明		11	27	3.0	4.0