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...