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
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
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.
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.