MARIA DE LOS LLANOS
TOBARRA ABAD
Profesor Contratado Doctor
Tesi doctoral
-
Formal methods for the analysis of security protocols 2009
Universidad de Castilla-La Mancha