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