Analysis of security protocols with security properties based on distance

Doctoral thesis (Dissertations and theses)

GIL PONS, Reynaldo

2024

Permalink
https://hdl.handle.net/10993/60069

thesis.pdf

Author postprint (1.4 MB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

GIL PONS, Reynaldo ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > PI Mauw

Language :

English

Title :

Analysis of security protocols with security properties based on distance

Defense date :

24 January 2024

Institution :

Unilu - University of Luxembourg [DCS], Belval, Luxembourg

Degree :

Docteur en Informatique (DIP_DOC_0006_B)

Promotor :

MAUW, Sjouke ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

President :

RYAN, Peter Y A ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Available on ORBilu :

since 29 January 2024

Number of views

119 (44 by Unilu)

Number of downloads

108 (14 by Unilu)