descripción

Esta obra aborda el problema de las interacciones entre dominios o entornos computacionales, con reglas de seguridad distintas entre sí, desde una perspectiva de lógica epistémica. Se inicia con el estado del arte en esta área del conocimiento, donde se muestran algunos de los más importantes enfoques que se han propuesto a lo largo del tiempo para resolver, o tratar de resolver, el problema de la seguridad multidominio. Más adelante se presenta el enfoque de los autores de esta obra Martha B. Piña Ángeles, Antero Torres Martínez y Salvador Contreras Hernández, donde se incluye el modelo matemático basado en lógica epistémica para representar el conocimiento en las interacciones que ocurrirían en un sistema donde intervienen múltiples dominios. Finalmente se muestran las pruebas de validez de las construcciones elaboradas en el modelo matemático a través del método Tableux.