| NSL协议逻辑化分析 |
| |
| 引用本文： | 袁亚飞,廉玉忠. NSL协议逻辑化分析[J]. 宜春学院学报, 2004, 26(4): 70-71 |
| |
| 作者姓名： | 袁亚飞 廉玉忠 |
| |
| 作者单位： | 解放军信息工程大学信息工程学院,河南,郑州,450002 |
| |
| 摘 要： | 逻辑化方法是当前分析密码协议安全性的重要方法．本文通过运用一种新的认证逻辑系统，给出NSL认证协议的形式化分析证明，并提出协议改进方案．
|
| 关 键 词： | 逻辑化方法 认证逻辑系统 NSL协议 |
| 文章编号： | 1671-380X(2004)04-0070-02 |
| 修稿时间： | 2004-05-31 |
Logic Analysis of NSL Protocols |
| |
| YUAN Ya-fei,LIAN Yu-zhong. Logic Analysis of NSL Protocols[J]. Journal of Yichun University, 2004, 26(4): 70-71 |
| |
| Authors: | YUAN Ya-fei LIAN Yu-zhong |
| |
| Abstract: | Based on a new authentication logic system, the paper analyzes the securities of Needham-Schroeder-Lowe protocol, and the improvement of protocol is propose. |
| |
| Keywords: | authentication protocol BAN-like logic formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
