Verificación de opacidad bajo un mecanismo de observación orwelliano con retraso
Autores: Zhang, Jiahui; Zhang, Kuize; Han, Xiaoguang; Li, Zhiwu
Idioma: Inglés
Editor: MDPI
Año: 2025
Acceso abierto
Artículo científico
2025
Verificación de opacidad bajo un mecanismo de observación orwelliano con retraso
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Opacidad
Flujo de información
Sistemas de eventos discretos
Modelos de observación
Modelo de observación tipo Orwelliano
Opacidad actual del estado
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 23
Citaciones: Sin citaciones
La opacidad, una propiedad importante del flujo de información en sistemas de eventos discretos (DESs), caracteriza si la información secreta en un sistema es ambigua para un observador pasivo (llamado intruso). Los modelos de observación juegan un papel crítico en el análisis de la opacidad. En este documento, en lugar de adoptar un modelo de observación estática completamente o un modelo de observación dinámica completa, utilizamos un modelo de observación tipo Orwelliano novedoso para estudiar la verificación de la opacidad del estado actual (CSO), donde la observabilidad de un evento no observable puede ser reinterpretada una vez que se cumplen ciertas/varias condiciones específicas. Primero, se propone un mecanismo de observación Orwelliano con -retraso (KOOM) como un mecanismo de observación tipo Orwelliano novedoso para extender la proyección de Orwell existente. Las principales características del KOOM son retrasar la liberación inevitable de información y estrechar el rango de liberación de información histórica para proteger los secretos en un sistema en mayor medida que con la proyección de Orwell existente. En segundo lugar, formulamos las definiciones de CSO estándar y fuerte bajo el KOOM. Finalmente, abordamos el problema de verificación para estos dos tipos de opacidad mediante la construcción de dos estructuras de información novedosas llamadas un verificador de -retraso estándar y un verificador de -retraso fuerte, respectivamente. También se presentan un análisis de la complejidad computacional y ejemplos ilustrativos para los resultados propuestos. En general, las nociones propuestas de CSO estándar y fuerte bajo el KOOM capturan los requisitos de privacidad y seguridad con respecto a una liberación retrasada en aplicaciones, como sistemas de transporte inteligente, etc.
Descripción
La opacidad, una propiedad importante del flujo de información en sistemas de eventos discretos (DESs), caracteriza si la información secreta en un sistema es ambigua para un observador pasivo (llamado intruso). Los modelos de observación juegan un papel crítico en el análisis de la opacidad. En este documento, en lugar de adoptar un modelo de observación estática completamente o un modelo de observación dinámica completa, utilizamos un modelo de observación tipo Orwelliano novedoso para estudiar la verificación de la opacidad del estado actual (CSO), donde la observabilidad de un evento no observable puede ser reinterpretada una vez que se cumplen ciertas/varias condiciones específicas. Primero, se propone un mecanismo de observación Orwelliano con -retraso (KOOM) como un mecanismo de observación tipo Orwelliano novedoso para extender la proyección de Orwell existente. Las principales características del KOOM son retrasar la liberación inevitable de información y estrechar el rango de liberación de información histórica para proteger los secretos en un sistema en mayor medida que con la proyección de Orwell existente. En segundo lugar, formulamos las definiciones de CSO estándar y fuerte bajo el KOOM. Finalmente, abordamos el problema de verificación para estos dos tipos de opacidad mediante la construcción de dos estructuras de información novedosas llamadas un verificador de -retraso estándar y un verificador de -retraso fuerte, respectivamente. También se presentan un análisis de la complejidad computacional y ejemplos ilustrativos para los resultados propuestos. En general, las nociones propuestas de CSO estándar y fuerte bajo el KOOM capturan los requisitos de privacidad y seguridad con respecto a una liberación retrasada en aplicaciones, como sistemas de transporte inteligente, etc.