|
|||||
|
|
| 一种新的安全协议形式化分析方法——证据逻辑 | |
| 作者姓名： | 陆阳 肖军模 刘晶 |
| 作者单位： | 1. 解放军理工大学通信工程学院电子信息工程系,南京,210007;河海大学计算机及信息工程学院,南京,210098 2. 解放军理工大学通信工程学院电子信息工程系,南京,210007 |
| 摘 要： | 形式化分析技术对于安全协议的正确设计至关重要，考虑到现有信仰逻辑分析方法的不足，该文提出一种新的安全协议形式化分析方法——证据逻辑，即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相比，该方法不仅能够用于认证协议、密钥协商(交换)协议的分析，也能用于电子商务协议的不可否认性和公平性的分析，因此具有更好的通用性和更强的协议分析能力。 |
| 关 键 词： | 安全协议 形式化分析 证据逻辑 |
| 文章编号： | 1000-3428（2008）02-0092-03 |
| 收稿时间： | 2007-01-20 |
| 修稿时间： | 2007-01-20 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载免费的PDF全文 | |