Departamento: SISTEMAS DE COMUNICACIÓN Y CONTROL

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

Área: Enxeñaría de Sistemas e Automática

Grupo de investigación: INVESTIGACIÓN EN INDUSTRIA CONECTADA Y TECNOLOGÍAS EDUCATIVAS PARA LA INGENIERÍA

Correo el.: llanos@scc.uned.es

Doutora pola Universidad de Castilla-La Mancha coa tese Formal methods for the analysis of security protocols 2009. Dirixida por Dr/a. Fernando Cuartero Gómez, Dr/a. Diego Cazorla López.