| 一种调和两种观点的安全协议分析法 |
| |
| 引用本文： | 赵华伟,李大兴.一种调和两种观点的安全协议分析法[J].计算机研究与发展,2006,43(7):1260-1266. |
| |
| 作者姓名： | 赵华伟 李大兴 |
| |
| 作者单位： | 山东大学,网络信息安全研究所,济南,250100 |
| |
| 基金项目： | 科技部科研项目;教育部科学技术研究项目 |
| |
| 摘 要： | 在安全协议的形式化分析中，有两种完全不同的观点：符号方法和计算方法，两者各有优缺点．通过对两种观点的研究，按照优势互补的原则将两者相调和，建立了一种新的形式化分析方法．该方法将协议的安全性分为完全性和正确性，通过分析这两种性质，不仅能考察协议在逻辑上能否达到预期目标，而且能考察敌手在计算上的攻击能力．第一次从逻辑可靠性和计算可靠性两方面对协议进行了综合的安全性分析．
|
| 关 键 词： | 符号方法 计算方法 完全性 正确性 |
| 收稿时间： | 06 29 2005 12:00AM |
| 修稿时间： | 2005-06-292006-02-22 |
A Security Protocols' Analytic Approach of Reconciling Two Views |
| |
| Zhao Huawei,Li Daxing.A Security Protocols'''' Analytic Approach of Reconciling Two Views[J].Journal of Computer Research and Development,2006,43(7):1260-1266. |
| |
| Authors: | Zhao Huawei Li Daxing |
| |
| Affiliation: | Institute of Network Information and Security, Shandong University, Jinan 250100 |
| |
| Abstract: | |
| |
| Keywords: | symbol approach computational approach completeness correctness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
