Departament: SISTEMAS DE COMUNICACIÓN Y CONTROL

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

Àrea: Enginyeria de Sistemes i Automàtica

Grup d'investigació: INVESTIGACIÓN EN INDUSTRIA CONECTADA Y TECNOLOGÍAS EDUCATIVAS PARA LA INGENIERÍA

Correu: llanos@scc.uned.es

Doctora per la Universidad de Castilla-La Mancha amb la tesi Formal methods for the analysis of security protocols 2009. Dirigida per Dr/a. Fernando Cuartero Gómez, Dr/a. Diego Cazorla López.