|
|||||
|
|
| 安全协议的分析 | |
| 引用本文： | 陈岌,薛质,李生红,荆涛.安全协议的分析[J].信息安全与通信保密,2005(3):102-103. |
| 作者姓名： | 陈岌 薛质 李生红 荆涛 |
| 基金项目： | 国家863资助项目(课题号:2003AA142160) |
| 摘 要： | 协议是网络运行的基础。在实际应用中,由于安全协议设计的复杂性,导致协议常常难 以达到所需的安全性。因此安全协议的分析突显其重要的一面,形式化分析方法是当前的研究热点。本 文使用基于C-半环理论的软限制来分析协议的安全性。在该分析方法中把安全并不看作是简单的布尔 属性,而是划分了安全等级,因而这种分析方法更有效。 |
Analysis of security protocols |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |