Análisis de seguridad de modelos AADL para sistemas ciberfísicos de red a través de la verificación de modelos de juegos estocásticos
Autores: Wei, Xiaomin; Dong, Yunwei; Sun, Pengpeng; Xiao, Mingrui
Idioma: Inglés
Editor: MDPI
Año: 2019
Acceso abierto
Artículo científico
2019
Análisis de seguridad de modelos AADL para sistemas ciberfísicos de red a través de la verificación de modelos de juegos estocásticos
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Seguridad
Sistemas ciberfísicos de red
Peligros
Fallos
Análisis de seguridad
Verificación de modelos probabilística
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 39
Citaciones: Sin citaciones
Como sistemas críticos de seguridad, los sistemas ciberfísicos de red (GCPSs) deben garantizar la seguridad de los sistemas relacionados con la energía. Sin embargo, en muchos casos, los GCPSs pueden verse afectados por peligros ambientales inciertos y no deterministas, así como por la calidad variable de los dispositivos. Estos pueden causar fallas y peligros en todo el sistema y poner en riesgo la seguridad del sistema. Por lo tanto, se requiere un análisis de seguridad para garantizar la seguridad del sistema.
Descripción
Como sistemas críticos de seguridad, los sistemas ciberfísicos de red (GCPSs) deben garantizar la seguridad de los sistemas relacionados con la energía. Sin embargo, en muchos casos, los GCPSs pueden verse afectados por peligros ambientales inciertos y no deterministas, así como por la calidad variable de los dispositivos. Estos pueden causar fallas y peligros en todo el sistema y poner en riesgo la seguridad del sistema. Por lo tanto, se requiere un análisis de seguridad para garantizar la seguridad del sistema.