Knowledge in security protocols: an operational semantics for BAN logic

A.M. Bleeker, L.G.L.T. Meertens

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

Original language	Undefined/Unknown
Title of host publication	Workshop Proceedings Methods for Modalities 1
Editors	C. Areces, M. de Rijke
Place of Publication	Amsterdam, the Netherlands
Publisher	ILLC, Amsterdam University
Publication status	Published - 1999

Keywords

@inproceedings{c84dffc8940c404c9457c81b97628cc5,

title = "Knowledge in security protocols: an operational semantics for BAN logic",

keywords = "Wiskunde en Informatica (WIIN)",

author = "A.M. Bleeker and L.G.L.T. Meertens",

year = "1999",

language = "Undefined/Unknown",

editor = "C. Areces and \{de Rijke\}, M.",

booktitle = "Workshop Proceedings Methods for Modalities 1",

publisher = "ILLC, Amsterdam University",

}