| 一种安全协议组合分析方法 |
| |
| 引用本文： | 陈强,黄连生,赵秀文.一种安全协议组合分析方法[J].计算机应用研究,2006,23(6):105-107. |
| |
| 作者姓名： | 陈强 黄连生 赵秀文 |
| |
| 作者单位： | 清华大学,计算机科学与技术系,北京,100084;清华大学,计算机科学与技术系,北京,100084;清华大学,计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家科技部“973”基金资助项目（2003CB314805） |
| |
| 摘 要： | 提出了一种安全协议组合分析方法，即使用通用认证协议规范语言CAPSL描述安全协议，然后使用连接器，将CAPSL规范转换为其他安全协议分析工具的形式化输入，从而能够利用不同分析工具的优点，来更好地保证安全协议形式化分析的准确性，同时也方便了安全协议分析者。设计了两个CAPSL连接器，并给出一个协议转换实例。
|
| 关 键 词： | 安全协议 组合分析 规范语言 连接器 |
| 文章编号： | 1001-3695（2006）06-0105-03 |
| 收稿时间： | 2005-04-30 |
| 修稿时间： | 2005-04-302005-06-03 |
Combined Analysis Method for Security Protocols |
| |
| CHEN Qiang,HUANG Lian sheng,ZHAO Xiu wen.Combined Analysis Method for Security Protocols[J].Application Research of Computers,2006,23(6):105-107. |
| |
| Authors: | CHEN Qiang HUANG Lian sheng ZHAO Xiu wen |
| |
| Affiliation: | (Dept. of Computer Science & Technology, Tsinghua University, Beijing 100084, China) |
| |
| Abstract: | This paper presents a combined analysis method for security protocols. By specifying security protocols using Common Authentication Protocol Specification Language, then convert CAPSL specification into formal inputs for other analysis tools by connector. This method can utilize the advantage of various analysis tools and ensure the accuracy of formal analysis. Meanwhile, it is convenient for analyzer. We design two CAPSL connector and give an instance. |
| |
| Keywords: | Security Protocol Combined Analysis Specification Language Connector |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
