WOOPS 2012 - warsztaty nt. bezpieczeństwa opartego na sieciach Petriego, Hamburg, Niemcy

Dnia 26 czerwca 2012 r. w Hamburgu, Niemcy, odbędzie się wydarzenie pt. "WOOPS 2012 - warsztaty nt. bezpieczeństwa opartego na sieciach Petriego" (WooPS: Int'l Workshop on Petri Net-based Security).

Sieci Petriego to typ języka modelowania matematycznego wykorzystywany w systemach rozproszonych. Pomagają na przykład w budowaniu cech bezpieczeństwa i niezawodności w takich zastosowaniach jak inteligentne sieci i rozproszone systemy w przedsiębiorstwach.

Aczkolwiek nie jest jasne, w jaki sposób dostępne techniki oparte na sieciach Petriego mogą zapewnić niezbędną precyzję w celu zwiększenia zaufania programistów do ogólnego bezpieczeństwa nowych aplikacji. Ocena tych technik pod kątem poprawności, złożoności obliczeniowej i studiów przypadku ze świata rzeczywistego przyczyni się do posunięcia naprzód badań nad sieciami Petriego.

Wydarzenie pomoże pobudzić wymianę nowych pomysłów, metodologii, technik specyfikacji i analizy w (zautomatyzowanej) analizie aplikacji nowej generacji. Omawiane będą następujące tematy:
- polityka kontroli dostępu i użycia;
- potwierdzanie tożsamości i autoryzacja;
- obliczenia kontekstowe;
- kontrola przepływu informacji;
- bezpieczeństwo oparte na języku;
- systemy równorzędne;
- strategie i techniki monitoringu;
- infrastruktury sieciowe i autoryzacyjne;
- aspekty bezpieczeństwa, niezawodności i elastyczności;
- skład i synteza usług;
- protokoły bezpieczeństwa;
- zaufanie i zarządzanie zaufaniem;
- ciąg pracy i analiza zarządzania nim.Więcej informacji: http://www.telematik.uni-freiburg.de/woops(odnośnik otworzy się w nowym oknie)