Original language | English |
---|---|
Title of host publication | Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST 2003, Pisa, Italy, September 8-9, 2003), IIT-CNR Technical Report |
Editors | T. Dimitrakos, F. Martinelli |
Pages | 131-145 |
Publication status | Published - 2003 |
Defining authentication in a trace model
C.J.F. Cremers, S. Mauw, E.P. Vink, de
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic