Esta obra aborda el problema de las interacciones entre dominios o entornos computacionales, con reglas de seguridad distintas entre si, desde una perspectiva de logica epistemica. Se inicia con el estado del arte en esta area del conocimiento, donde se muestran algunos de los mas importantes enfoques que se han propuesto a lo largo del tiempo para resolver, o tratar de resolver, el problema de la seguridad multidominio. Mas adelante se presenta el enfoque de los autores de esta obra Martha B. Pina Angeles, Antero Torres Martinez y Salvador Contreras Hernandez, donde se incluye el modelo matematico basado en logica epistemica para representar el conocimiento en las interacciones que ocurririan en un sistema donde intervienen multiples dominios. Finalmente se muestran las pruebas de validez de las construcciones elaboradas en el modelo matematico a traves del metodo Tableux."