|
|||||
|
|
| CSP方式的安全协议建模研究 | |
| 引用本文： | 薛明.CSP方式的安全协议建模研究[J].科技信息,2008(12). |
| 作者姓名： | 薛明 |
| 作者单位： | 河南工业大学 |
| 摘 要： | 本文使用通信顺序进程(Communicating Sequential Process)建模和分析认证协议,CSP有着良好的语义来描述认证协议,并且比较适合分析协议的特性.本文阐述了如何使用CSP对协议建模并在CSP基础上描述了安全协议的安全性所要满足的条件. |
| 关 键 词： | 安全协议 通信顺序进程 保密性 认证性 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |