BAN Logic is not 'Sound', Constructing Epistemic Logics for Security is Difficult

W Teepe

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the Second Workshop on Formal Approaches to Multi-Agent Systems
Publisher	Universitá degli Studi di Trento
Pages	79 - 91
Publication status	Published - 2006
Event	FAMAS’06 - Duration: 1-Jan-2006 → 1-Jan-2006

Name	unknown / not applicable / onbekend / n.v.t.

Other	FAMAS’06
Period	01/01/2006 → 01/01/2006

Handle.net

@inproceedings{d9bdf957e5014d75a964fcef31dc3b9d,

title = "BAN Logic is not 'Sound', Constructing Epistemic Logics for Security is Difficult",

author = "W Teepe",

note = "Event: FAMAS'06; FAMAS{\textquoteright}06 ; Conference date: 01-01-2006 Through 01-01-2006",

year = "2006",

language = "English",

series = "unknown / not applicable / onbekend / n.v.t.",

publisher = "Universit{\'a} degli Studi di Trento",

pages = "79 -- 91",

booktitle = "Proceedings of the Second Workshop on Formal Approaches to Multi-Agent Systems",

}

BAN Logic is not 'Sound', Constructing Epistemic Logics for Security is Difficult. / Teepe, W.
Proceedings of the Second Workshop on Formal Approaches to Multi-Agent Systems. Universitá degli Studi di Trento, 2006. p. 79 - 91 (unknown / not applicable / onbekend / n.v.t.).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - BAN Logic is not 'Sound', Constructing Epistemic Logics for Security is Difficult

AU - Teepe, W

N1 - Event: FAMAS'06

PY - 2006

Y1 - 2006

M3 - Conference contribution

T3 - unknown / not applicable / onbekend / n.v.t.

SP - 79

EP - 91

BT - Proceedings of the Second Workshop on Formal Approaches to Multi-Agent Systems

PB - Universitá degli Studi di Trento

T2 - FAMAS’06

Y2 - 1 January 2006 through 1 January 2006

ER -