Analysis of security protocols with security properties based on distance

Thèse de doctorat (Mémoires et thèses)

GIL PONS, Reynaldo

2024

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

thesis.pdf

Postprint Auteur (1.4 MB)

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Disciplines :

Sciences informatiques

Auteur, co-auteur :

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

Langue du document :

Anglais

Titre :

Analysis of security protocols with security properties based on distance

Date de soutenance :

24 janvier 2024

Institution :

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

Intitulé du diplôme :

Docteur en Informatique (DIP_DOC_0006_B)

Promoteur :

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

Président du jury :

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

Disponible sur ORBilu :

depuis le 29 janvier 2024

Nombre de vues

180 (dont 54 Unilu)

Nombre de téléchargements

158 (dont 16 Unilu)