| 密码协议分析的逻辑方法及其哲学意蕴 |
| |
| 引用本文： | 程华清.密码协议分析的逻辑方法及其哲学意蕴[J].毕节学院学报,2017(6):63-68. |
| |
| 作者姓名： | 程华清 |
| |
| 作者单位： | 华东师范大学哲学系,上海,200241 |
| |
| 摘 要： | 逻辑方法是密码协议分析中具有代表性的形式化方法.从已有文献的技术成果出发,以经典的类BAN逻辑作为主要对象,把逻辑方法在密码协议分析上与经验方法和计算方法分别进行比较.通过这种比较,分析了类BAN逻辑方法在分析结论的全面性、可操作性方面所具有的优势以及在有效攻击的构造和分析结论可信度上的局限性,以及从参与分析的主体角度分析了类BAN逻辑方法在协议分析上的主体特征.除了这种比较分析,也试图在计算主义框架下提供类BAN逻辑方法应用于密码协议分析的哲学基础,并给出了方法论上的启示.
|
| 关 键 词： | 类BAN逻辑 密码协议分析 计算主义 |
Logical Methods in Analyzing Cryptographic Protocols and their Philosophical Implications |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
