BAN logic was used to construct an ideal model of the well known Needham Schroeder protocol.

• 采用BAN逻辑对著名的Needham Schroeder(NS)协议建立理想化协议模型 ；利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性 .