'WOOPS 2012: Workshop on Petri net-based security', Hamburg, Germany
26 September 2012 - 26 September 2012
Germany
An event entitled 'WOOPS 2012: Workshop on Petri net-based security' will take place on 26 June 2012 in Hamburg, Germany.
Petri nets are a type of mathematical modeling language used in distributed systems. They aid, for example, the building of security and reliability properties in such applications as smart grids and distributed enterprise systems.
However, it is unclear how available Petri net-based techniques can provide the necessary precision to increase the confidence of designers in the overall security of new applications. The assessment of these techniques with respect to correctness, computational complexity and real-world case-studies will help advance research in the field of Petri nets.
The event will help foster the exchange of new ideas, methodologies, specification and analysis techniques for the (automated) analysis of next generation applications. Topics are set to include:
- access and usage control policies;
- authentication and authorisation;
- context-aware computing;
- information flow control;
- language-based security;
- peer-to-peer systems;
- monitoring policies and techniques;
- network and authorization infrastructures;
- safety, reliability, and resilience aspects;
- service composition and synthesis;
- security protocols;
- trust and trust management;
- workflow and workflow management analysis.For further information, please visit: http://www.telematik.uni-freiburg.de/woops(opens in new window)
Petri nets are a type of mathematical modeling language used in distributed systems. They aid, for example, the building of security and reliability properties in such applications as smart grids and distributed enterprise systems.
However, it is unclear how available Petri net-based techniques can provide the necessary precision to increase the confidence of designers in the overall security of new applications. The assessment of these techniques with respect to correctness, computational complexity and real-world case-studies will help advance research in the field of Petri nets.
The event will help foster the exchange of new ideas, methodologies, specification and analysis techniques for the (automated) analysis of next generation applications. Topics are set to include:
- access and usage control policies;
- authentication and authorisation;
- context-aware computing;
- information flow control;
- language-based security;
- peer-to-peer systems;
- monitoring policies and techniques;
- network and authorization infrastructures;
- safety, reliability, and resilience aspects;
- service composition and synthesis;
- security protocols;
- trust and trust management;
- workflow and workflow management analysis.For further information, please visit: http://www.telematik.uni-freiburg.de/woops(opens in new window)