Defining authentication in a trace model

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

Defining authentication in a trace model

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

Formal System Analysis

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

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

Cite this

@inproceedings{ec6b12c1686b45ceab09ccfa57475f13,

title = "Defining authentication in a trace model",

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

year = "2003",

language = "English",

pages = "131--145",

editor = "T. Dimitrakos and F. Martinelli",

booktitle = "Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST 2003, Pisa, Italy, September 8-9, 2003), IIT-CNR Technical Report",

}

Defining authentication in a trace model. / Cremers, C.J.F.; Mauw, S.; Vink, de, E.P.

Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST 2003, Pisa, Italy, September 8-9, 2003), IIT-CNR Technical Report. ed. / T. Dimitrakos; F. Martinelli. 2003. p. 131-145.

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

TY - GEN

T1 - Defining authentication in a trace model

AU - Cremers, C.J.F.

AU - Mauw, S.

AU - Vink, de, E.P.

PY - 2003

Y1 - 2003

M3 - Conference contribution

SP - 131

EP - 145

BT - Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST 2003, Pisa, Italy, September 8-9, 2003), IIT-CNR Technical Report

A2 - Dimitrakos, T.

A2 - Martinelli, F.

ER -