Íñigo León Samaniego ha obtenido el grado de doctor por la Universidad de La Rioja tras la defensa de su tesis Security in Petri nets sharing and storage: subnets, privacy, integrity, authentication and non repudiation con mención internacional al título.
Desarrollada en el Departamento de Ingeniería Eléctrica, esta tesis ha sido dirigida por Emilio Jiménez y Juan Ignacio Latorre, y ha logrado la calificación de sobresaliente ‘cum laude’ por unanimidad del tribunal.
Las redes de Petri están ampliamente extendidas para el modelado, análisis y simulación de sistemas concurrentes, como procesos productivos y logísticos, modelos de redes de computadores, etc.
La representación de redes de Petri se realiza normalmente mediante un gráfico que muestra las reglas de la evolución del sistema representado, que facilita la comprensión intuitiva del sistema, y también se puede representar de forma matemática, lo que facilita el análisis de dicho sistema.
En los procesos industriales puede haber subprocesos que deban ser secretos, visibles sólo para determinadas personas. Además, es habitual que determinados procesos deban ser validados por sus responsables. Esto es algo que no está contemplado hasta el momento.
En su tesis doctoral, Íñigo León desarrolla un método para la descomposición en subprocesos de procesos más complejos, junto con sus interfaces de entrada y salida, así como una manera de representarlos.
Además aborda cuatro cuestiones de seguridad sobre estas redes como el cifrado de determinados subprocesos para que sólo sean accesibles por personas autorizadas; detección automática de cualquier modificación no autorizada en las partes securizadas; validación, por parte de los responsables, de determinadas partes; y que alguien que ha validado una parte no pueda negar que lo ha hecho.
