Sciweavers

CEEMAS
2001
Springer

On BAN Logics for Industrial Security Protocols

13 years 8 months ago
On BAN Logics for Industrial Security Protocols
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters for the addition of appropriate constructs and rules. We argue that, although a semantical foundation of the formalism is lacking, BAN logic provides an intuitive and powerful technique for security analysis.
Nesria Agray, Wiebe van der Hoek, Erik P. de Vink
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where CEEMAS
Authors Nesria Agray, Wiebe van der Hoek, Erik P. de Vink
Comments (0)