APPLICATIONS OF BAN-LOGIC
Jan Wessels · 2001
This document is meant to give an overview of the BAN-logic. The BAN-logic is one of the methods for the analysis of cryptographic protocols. One of the goals is to show how the BAN-logic is applied best. Allthough the BAN-logic can be easily applied and gives a quick insight in the working of a protocol, attention has to be