Enfoque de Evaluacion de Reglas de Seguridad En Entornos Heterogeneos : Un modelo matemático

Esta obra aborda el problema de las interacciones entre dominios o entornos computacionales, con reglas de seguridad distintas entre s, desde una perspectiva de lgica epistmica. Se inicia con el estado del arte en esta rea del conocimiento, donde se muestran algunos de los ms importantes enfoques que se han propuesto a lo largo del tiempo para resolver, o tratar de resolver, el problema de la seguridad multidominio. Ms adelante se presenta el enfoque de los autores de esta obra Martha B. Pia ngeles, Antero Torres Martnez y Salvador Contreras Hernndez, donde se incluye el modelo matemtico basado en lgica epistmica para representar el conocimiento en las interacciones que ocurriran en un sistema donde intervienen mltiples dominios. Finalmente se muestran las pruebas de validez de las construcciones elaboradas en el modelo matemtico a travs del mtodo Tableux.