«VII Taller sobre criptografía computacional y formal» en París (Francia)
30 Junio 2011 - 30 Junio 2011
Francia
El 30 de junio de 2011 se celebrará en París (Francia) el «VII Taller sobre criptografía computacional y formal».
Desde la década de los ochenta se han desarrollado dos métodos para analizar sistemas y protocolos de seguridad basados en la criptografía. Uno de ellos parte de un modelo computacional que considera temas de complejidad y probabilidad computacional. El otro descansa sobre un modelo simbólico de ejecución de protocolos en el que los mensajes se modelan mediante términos algebraicos y criptográficos que se consideran «cajas negras» perfectas. Sin embargo los dos presentan dificultades y problemas analíticos.
El evento se centrará en métodos y resultados de proyectos que combinen y relacionen protocolos de análisis simbólicos y computacionales. Una serie de resultados establece teoremas de correspondencia entre los dos modelos, demostrando que para cierta clase de protocolos y propiedades, la seguridad en el modelo simbólico implica asimismo seguridad en el computacional. En otro trabajo, se utilizaron técnicas del lenguaje como cálculos de procesos, sistemas tipo y lógica de protocolos para razonar directamente sobre el modelo computacional. También se están realizando trabajos dedicados a mecanizar pruebas de mecanismos criptográficos sólidas desde la perspectiva computacional.
El taller se celebrará en paralelo al simposio Fundamentos de la Seguridad Informática 2011.Para más información, consulte: http://www.cs.ut.ee/~unruh/fcc2011/(se abrirá en una nueva ventana)
Desde la década de los ochenta se han desarrollado dos métodos para analizar sistemas y protocolos de seguridad basados en la criptografía. Uno de ellos parte de un modelo computacional que considera temas de complejidad y probabilidad computacional. El otro descansa sobre un modelo simbólico de ejecución de protocolos en el que los mensajes se modelan mediante términos algebraicos y criptográficos que se consideran «cajas negras» perfectas. Sin embargo los dos presentan dificultades y problemas analíticos.
El evento se centrará en métodos y resultados de proyectos que combinen y relacionen protocolos de análisis simbólicos y computacionales. Una serie de resultados establece teoremas de correspondencia entre los dos modelos, demostrando que para cierta clase de protocolos y propiedades, la seguridad en el modelo simbólico implica asimismo seguridad en el computacional. En otro trabajo, se utilizaron técnicas del lenguaje como cálculos de procesos, sistemas tipo y lógica de protocolos para razonar directamente sobre el modelo computacional. También se están realizando trabajos dedicados a mecanizar pruebas de mecanismos criptográficos sólidas desde la perspectiva computacional.
El taller se celebrará en paralelo al simposio Fundamentos de la Seguridad Informática 2011.Para más información, consulte: http://www.cs.ut.ee/~unruh/fcc2011/(se abrirá en una nueva ventana)