logo móvil
Contáctanos

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

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro