Beschreibung
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.
Autorenporträt
Es profesor investigador de la Universidad Politécnica del Valle de México en el área de desarrollo de software e inteligencia artificial. Se especializa en lógica matemática, análisis de algoritmos y aplicaciones para web.
Herstellerkennzeichnung:
OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD
E-Mail: info@omniscriptum.com
