Formal Logical Methods for Analysis of Authentication Protocols - BAN-like Logics
Ni Shu · Jisuanji yingyong yanjiu · 2002
This paper introduces the earliest formal methods for the analysis of authentication protocols-BAN logic and the extended BAN logic, go by the general name of BAN like logic. And points out the extended BAN logics' improvement on the original BAN logic by analyzing and comparing.