logo móvil
Contáctanos

Seguridad cuantificación para sistemas de eventos discretos basada en el valor de los estados

Autores: Zhou, Sian; Yu, Jiaxin; Yin, Li; Li, Zhiwu

Idioma: Inglés

Editor: MDPI

Año: 2023

Descargar PDF

Acceso abierto

Artículo científico
2023

Seguridad cuantificación para sistemas de eventos discretos basada en el valor de los estados


Categoría

Matemáticas

Subcategoría

Matemáticas generales

Palabras clave

Cuantificando la opacidad
Sistemas de eventos discretos
Intruso pasivo
Flujo de información
Opacidad digna
Edificios inteligentes

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 28

Citaciones: Sin citaciones


Descripción
Este trabajo aborda el problema de cuantificar la opacidad para sistemas de eventos discretos. Consideramos a un intruso pasivo que conoce la estructura general de un sistema pero tiene capacidades de observación limitadas e intenta inferir el secreto de este sistema basándose en el flujo de información capturado. Los investigadores han desarrollado varios enfoques para cuantificar la opacidad para compensar la falta de precisión de la opacidad cualitativa al describir el grado de seguridad de un sistema. La mayoría de los trabajos existentes sobre la cuantificación de la opacidad estudian problemas probabilísticos específicos en el marco de sistemas probabilísticos, donde los comportamientos o estados de un sistema se clasifican como secretos o no secretos. En este trabajo, cuantificamos la opacidad mediante una función de valor de estado, que asocia a cada estado de un sistema con el valor que lleva. Para ello, presentamos una nueva categoría de opacidad, llamada opacidad valiosa, que caracteriza si el valor de la información expuesta al mundo exterior durante la evolución del sistema está por debajo de un umbral. Primero proporcionamos un enfoque en línea para verificar la opacidad valiosa utilizando la noción de una matriz de ejecución propuesta en esta investigación. Luego, investigamos una clase de sistemas que satisfacen la llamada propiedad de retorno de ciclo 1 y presentamos un algoritmo de verificación de opacidad valiosa para esta clase. Finalmente, se proporciona un ejemplo en el contexto de edificios inteligentes.

Otros recursos que podrían interesarte

Temas Virtualpro