![Foto de MARIA DE LOS LLANOS](/img/nophoto.png)
MARIA DE LOS LLANOS
TOBARRA ABAD
Profesor Contratado Doctor
Dissertation
-
Formal methods for the analysis of security protocols 2009
Universidad de Castilla-La Mancha