Fachbereich: SISTEMAS DE COMUNICACIÓN Y CONTROL

Zentrum: E.T.S. DE INGENIERÍA INFORMÁTICA

Bereich: Systemtechnik und Automatisierung

Forschungsgruppe: INVESTIGACIÓN EN INDUSTRIA CONECTADA Y TECNOLOGÍAS EDUCATIVAS PARA LA INGENIERÍA

Email: llanos@scc.uned.es

Doktorin von der Universidad de Castilla-La Mancha mit der Dissertation Formal methods for the analysis of security protocols 2009. unter der Leitung von Dr. Fernando Cuartero Gómez, Dr. Diego Cazorla López.