Resumen

El Sistema Ciberfísico Crítico de Seguridad (SCCPS, por sus siglas en inglés) se refiere al sistema que, si falla o sus funciones clave fallan, causará víctimas, daños materiales, daños ambientales y otras consecuencias catastróficas. Por lo tanto, es vital verificar la seguridad de los sistemas críticos de seguridad. En la comunidad, la verificación de seguridad de SCCPS se basa principalmente en la metodología de verificación de modelos estadísticos, pero para SCCPS con requisitos de seguridad extremadamente altos, el método de verificación de modelos estadísticos es difícil o inviable para muestrear el evento de probabilidad extremadamente pequeña, ya que la probabilidad de que el sistema viole la seguridad es muy baja (propiedad rara). En respuesta a este problema, proponemos un nuevo método de verificación de modelos estadísticos para SCCPS de alta seguridad. En primer lugar, con el modelo de espacio de probabilidad de trayectoria de SCCPS aproximado por CTMC, se aprovecha el método de estimación de máxima verosimilitud para aprender los parámetros

• Materias:Cifrado de búsqueda Seguridad informática Reconstrucción virtual Detección de intrusos Sistema de programación
• Subjects:Search encryption Computer security Virtual reconstruction Intrusion detection Programming system
• Palabras claves:Seguridad crítica; Sistema ciberfísico; Verificación; Comprobación estadística de modelos; Alta seguridad; Muestreo de importancia.
• Keywords:Safety-critical; Cyber-physical system; Verification; Statistical model checking; High-safety; Importance sampling