Galleta

Cookies

El sitio web de la UCLM utiliza cookies propias y de terceros con fines técnicos y de análisis.

Aviso de Cookies


CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems

29 de Julio del 2021



Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Rafael M.Gasca, junto con nuestros compañeros David G.Rosado, Luis E.Sánchez y Eduardo Fernández-Medina han publicado el articulo CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems en la revista Computers in Industry de la editorial Elsevier.

Resumen

En los últimos años, los sistemas ciberfísicos (CPS) están recibiendo una gran atención por parte de la sociedad, especialmente en los entornos industriales, pero esta popularidad ha ido acompañada de graves problemas de seguridad. Un CPS es un sistema complejo que incluye componentes de hardware y software, con diferentes proveedores y protocolos de conexión, lo que obliga a una compleja gestión y almacenamiento de datos. Por este motivo, la construcción, verificación y diagnóstico de CPS de seguridad se convierte en un gran reto, que implica una correcta especificación de los requisitos de seguridad, la verificación de las configuraciones correctas del sistema y, si es necesario, el diagnóstico para detectar las características que deben modificarse para obtener una configuración de seguridad. En este trabajo, proponemos un marco para la verificación y el diagnóstico de los requisitos de seguridad, en función de las posibles configuraciones correctas del SPI. El marco se basa en la especificación de los requisitos de seguridad y su análisis con el apoyo de los enfoques de Ingeniería Dirigida por Modelos e Ingeniería de la Línea de Productos de Software (SPLE). Para ilustrar su utilidad, la propuesta se ha aplicado a los requisitos de seguridad en un escenario de Agricultura 4.0 basado en el cultivo hidropónico automatizado.