Formal methods for security protocols : three examples of the black-box approach

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	21-32
Journal	Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
Volume	7
Publication status	Published - 2003

Cite this

@article{0f6625eb437a4affaa79abecfc2b181f,

title = "Formal methods for security protocols : three examples of the black-box approach",

author = "C.J.F. Cremers and S. Mauw and \{Vink, de\}, E.P.",

year = "2003",

language = "English",

volume = "7",

pages = "21--32",

journal = "Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica",

publisher = "Stichting Mathematisch Centrum. Werkgemeenschap Theoretische Informatica",

}