«WOOPS 2012: taller sobre seguridad basada en redes de Petri» en Hamburgo, Alemania
26 Septiembre 2012 - 26 Septiembre 2012
Alemania
El evento «WOOPS 2012: Workshop on Petri net-based security» («WOOPS 2012: taller sobre seguridad basada en redes de Petri») se celebrará el 26 de junio de 2012 en Hamburgo (Alemania).
Las redes de Petri son un tipo de lenguaje de modelización matemático utilizado en los sistemas distribuidos. Contribuyen, por ejemplo, al desarrollo de propiedades de seguridad y fiabilidad en aplicaciones como las grids inteligentes y los sistemas empresariales distribuidos.
No obstante, aún no se sabe a ciencia cierta la manera en la que las técnicas basadas en las redes de Petri podrían aportar la precisión necesaria para aumentar la confianza de los diseñadores en la seguridad general de las aplicaciones de nuevo cuño. La evaluación de la corrección, la complejidad computacional y los estudios prácticos relacionados con estas técnicas contribuirá al progreso de las investigaciones en el campo de las redes de Petri.
En el evento se intercambiarán ideas, metodologías, especificaciones y técnicas de análisis nuevas para el estudio (automatizado) de la próxima generación de aplicaciones. Se tratarán los temas siguientes:
- políticas de acceso y control de uso;
- autentificación y autorización;
- computación consciente del contexto;
- control de flujos informativos;
- seguridad basada en lenguajes;
- sistemas P2P;
- políticas y técnicas de monitorización;
- infraestructuras de red y autorización;
- seguridad, fiabilidad y otros aspectos relacionados con la resilencia;
- composición y síntesis de servicios;
- protocolos de seguridad;
- confianza y gestión de la misma;
- flujos de trabajo y análisis de la gestión de los mismos.Para más información, consulte: http://www.telematik.uni-freiburg.de/woops(se abrirá en una nueva ventana)
Las redes de Petri son un tipo de lenguaje de modelización matemático utilizado en los sistemas distribuidos. Contribuyen, por ejemplo, al desarrollo de propiedades de seguridad y fiabilidad en aplicaciones como las grids inteligentes y los sistemas empresariales distribuidos.
No obstante, aún no se sabe a ciencia cierta la manera en la que las técnicas basadas en las redes de Petri podrían aportar la precisión necesaria para aumentar la confianza de los diseñadores en la seguridad general de las aplicaciones de nuevo cuño. La evaluación de la corrección, la complejidad computacional y los estudios prácticos relacionados con estas técnicas contribuirá al progreso de las investigaciones en el campo de las redes de Petri.
En el evento se intercambiarán ideas, metodologías, especificaciones y técnicas de análisis nuevas para el estudio (automatizado) de la próxima generación de aplicaciones. Se tratarán los temas siguientes:
- políticas de acceso y control de uso;
- autentificación y autorización;
- computación consciente del contexto;
- control de flujos informativos;
- seguridad basada en lenguajes;
- sistemas P2P;
- políticas y técnicas de monitorización;
- infraestructuras de red y autorización;
- seguridad, fiabilidad y otros aspectos relacionados con la resilencia;
- composición y síntesis de servicios;
- protocolos de seguridad;
- confianza y gestión de la misma;
- flujos de trabajo y análisis de la gestión de los mismos.Para más información, consulte: http://www.telematik.uni-freiburg.de/woops(se abrirá en una nueva ventana)