Otway Rees协议的安全分析

SECURITY ANALYSIS OF THE OTWAY REES PROTOCOL

互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明O tway Rees协议的安全性,同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。

With the rapid development of the Internet, a lot of attention have been paid to tbe security problems of the protocols. Now the way of analysis of cryptograpbic protocols focuses on formal verification, BAN logic is one among these methods. In this paper, we have proved the security of Otway Rees by BAN logic and discover some limitation of BAN logic on proving the security problems of the protocols.