Département: SISTEMAS DE COMUNICACIÓN Y CONTROL

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

Domaine: Ingeniería de Sistemas y Automática

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

Email: llanos@scc.uned.es

Docteure à l Universidad de Castilla-La Mancha avec la thèse Formal methods for the analysis of security protocols 2009. Dirigée par Dr/a. Fernando Cuartero Gómez, Dr/a. Diego Cazorla López.