In 1989, Burrow, Abadi and Needham developed BAN logic, which quickly become the most widely used and discussed formal method for the analysis of protocols.

• 1989年,Burrow,Abadi和Needham提出了BAN逻辑,它很快得以广泛的应用并且成为分析协议的常规方法。