II Taller sobre juegos, lógica y seguridad en Rennes (Francia)
25 Octubre 2011 - 25 Octubre 2011
Francia
Del 25 al 27 de octubre de 2011 se celebrará en Rennes (Francia) el II Taller sobre juegos, lógica y seguridad.
Las complicaciones relacionadas con la seguridad y la privacidad en redes informáticas y aplicaciones móviles pueden surgir de la interacción entre agentes de la red, sean estos individuos, dispositivos o programas autónomos. La modelización de la interacción entre agentes es esencial para solucionar problemas de seguridad.
La teoría de juegos y la lógica son los marcos principales para el tratamiento formal de la interacción. No sólo permiten modelar y representar esta interacción entre agentes, sino también desarrollar algoritmos prácticos y procedimientos de decisión. Durante los últimos veinte años se han propuesto distintos marcos lógicos y métodos relacionados con la teoría de juegos para simular y analizar redes informáticas desde el punto de vista de la seguridad; en ocasiones incluso acudiendo a lógica no clásica como la epistémica o la constructivista.
El evento atraerá a investigadores interesados en juegos, lógica y seguridad en el sentido amplio y será un foro de trabajo y de intercambio de ideas.Para más información, consulte: http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html(se abrirá en una nueva ventana)
Las complicaciones relacionadas con la seguridad y la privacidad en redes informáticas y aplicaciones móviles pueden surgir de la interacción entre agentes de la red, sean estos individuos, dispositivos o programas autónomos. La modelización de la interacción entre agentes es esencial para solucionar problemas de seguridad.
La teoría de juegos y la lógica son los marcos principales para el tratamiento formal de la interacción. No sólo permiten modelar y representar esta interacción entre agentes, sino también desarrollar algoritmos prácticos y procedimientos de decisión. Durante los últimos veinte años se han propuesto distintos marcos lógicos y métodos relacionados con la teoría de juegos para simular y analizar redes informáticas desde el punto de vista de la seguridad; en ocasiones incluso acudiendo a lógica no clásica como la epistémica o la constructivista.
El evento atraerá a investigadores interesados en juegos, lógica y seguridad en el sentido amplio y será un foro de trabajo y de intercambio de ideas.Para más información, consulte: http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html(se abrirá en una nueva ventana)