algorithms, systems engineers and researchers may apply formal methods. An
example is BAN (Burrows-Abadi-Needham) logic, [350] which provides a formal
method for reasoning about the logic of belief of principals in cryptographic
protocols. Formal methods can also be used to find bugs in security protocol