ISBN-13: 9783846567111 / Hiszpański / Miękka / 2014 / 180 str.
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.
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.