Defining authentication in a trace model

C.J.F. Cremers, S. Mauw, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Original languageEnglish
Title of host publicationProceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST 2003, Pisa, Italy, September 8-9, 2003), IIT-CNR Technical Report
EditorsT. Dimitrakos, F. Martinelli
Publication statusPublished - 2003

Cite this