用BAN逻辑方法分析SSL 3.0协议

被引：7

作者：

王惠芳

郭金庚

机构：

[1] 信息工程大学信息安全学院

[2] 信息工程大学信息安全学院郑州

[3] 郑州

来源：

计算机工程 | 2001年 / 11期

关键词：

形式化分析密码协议; BAN逻辑; SSL3.0协议;

D O I：

暂无

中图分类号：

TP393.08 [];

学科分类号：

0839 ; 1402 ;

摘要：

形式化分析密码协议渐渐成为密码学中一个发展的新方向，因为形式化方法的确能检测出密码协议中的漏洞。ＢＡＮ逻辑是目前使用最广泛的。文章介绍了ＢＡＮ逻辑和ＳＳＬ３．０协议，并给出了用ＢＡＮ逻辑分析ＳＳＬ３．０协议的详细过程。

引用

收藏

页码：147 / 149

页数：3

相关论文

共 2 条

[1] A LOGIC OF AUTHENTICATION [J].

BURROWS, M ;

ABADI, M ;

NEEDHAM, R .

ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (01) :18-36

[2]

Prudent Engineering Practice for Cryptographic Protocols .2 Abadi M,NeedhamR. SRC Report 125 . 1994