On BAN logics for industrial security protocols

N. Agray, W. Hoek, van der, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationFrom Theory to Practice in Multi-Agent Systems (Proceedings CEEMAS 2001, Cracow, Poland, September 26-29, 2001)
EditorsB. Dunin-Keplicz, E. Nawarecki
Place of PublicationBerlin
ISBN (Print)3-540-43370-8
Publication statusPublished - 2002
Eventconference; CEEMAS 2001, Cracow, Poland; 2001-09-26; 2001-09-29 -
Duration: 26 Sep 200129 Sep 2001

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conferenceconference; CEEMAS 2001, Cracow, Poland; 2001-09-26; 2001-09-29
OtherCEEMAS 2001, Cracow, Poland

Cite this