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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

Originele taal-2	Engels
Titel	Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST 2003, Pisa, Italy, September 8-9, 2003), IIT-CNR Technical Report
Redacteuren	T. Dimitrakos, F. Martinelli
Pagina's	131-145
Status	Gepubliceerd - 2003

Citeer dit

@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. redactie / T. Dimitrakos; F. Martinelli. 2003. blz. 131-145.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -