| 军网身份鉴别协议形式化分析 |
| |
| 引用本文： | 卢昱.军网身份鉴别协议形式化分析[J].装备指挥技术学院学报,2001,12(3):6-9. |
| |
| 作者姓名： | 卢昱 |
| |
| 作者单位： | 装备指挥技术学院科研部 |
| |
| 摘 要： | 形式逻辑是一种抽象的逻辑证明工具，密码协议的形式逻辑证明技术日趋得到重视，人们采用形式逻辑分析方法发现了许多协议中存在的安全缺陷，它的实用性已经得到了充分证明。本文对目前较为常用的形式逻辑分析方法——BAN逻辑的形式化分析理论进行了介绍，在此基础上对军网身份鉴别协议进行了BAN逻辑描述，并对协议的安全性进行了理论分析与证明。结果为协议能正确传递鉴别双方的信任关系，协议设计上不存在冗余步骤。
|
| 关 键 词： | 身份鉴别 理论 协议 形式化分析 |
| 修稿时间： | 2000年7月2日 |
Fomalized Analysis of Authentication Protocol in Military Network |
| |
| LU Yu.Fomalized Analysis of Authentication Protocol in Military Network[J].Journal of the Academy of Equipment Command & Technology,2001,12(3):6-9. |
| |
| Authors: | LU Yu |
| |
| Abstract: | |
| |
| Keywords: | authentication theory protocol formalized analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
