Un middleware cognitivo formalmente confiable para la seguridad de los sistemas de control industrial
Autores: Khan, Muhammad Taimoor; Serpanos, Dimitrios; Shrobe, Howard
Idioma: Inglés
Editor: MDPI
Año: 2017
Acceso abierto
Artículo científico
2017
Un middleware cognitivo formalmente confiable para la seguridad de los sistemas de control industrial
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Resultados
Análisis formal de confiabilidad
Corrección del comportamiento
Middleware cognitivo
ARMET
Seguridad
Formalizar
Semántica
Monitor de ejecución
Sistema de control industrial
Aplicación de SCI
Predicciones
Especificación
Denotacional
Observaciones
Ejecutable
Solidez
Completitud
Falsas alarmas
Ataques arbitrarios
Monitor
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 29
Citaciones: Sin citaciones
En este estudio, nos enfocamos únicamente en el componente central y crítico del middleware: el monitor de ejecución.
Descripción
En este estudio, nos enfocamos únicamente en el componente central y crítico del middleware: el monitor de ejecución.