"WOOPS 2012: Workshop über Petri-Netz-gestützte Sicherheit", Hamburg, Deutschland
26 September 2012 - 26 September 2012
Deutschland
Eine Veranstaltung mit dem Titel "WOOPS 2012: Workshop über Petri-Netz-gestützte Sicherheit" (WOOPS: International Workshop on Petri Net-based Security) findet am 26. Juni 2012 in Hamburg, Deutschland statt.
Petri-Netze sind eine Art mathematische Modelliersprache, die in verteilten Systemen verwendet wird. Sie tragen beispielsweise zur Sicherheit und Zuverlässigkeit von Applikationen wie Smart Grids und Distributed Enterprise Systems bei.
Noch ist jedoch nicht klar, ob die verfügbaren Petri-Netz-basierten Techniken die notwendige Präzision zur Steigerung des Vertrauens von Designern in die allgemeine Sicherheit neuer Applikationen bieten können. Die Beurteilung dieser Techniken hinsichtlich Fehlerfreiheit und rechnersicherer Komplexität sowie konkreter Fallbeispiele wird die Forschungen auf dem Gebiet der Petri-Netze weiter vorantreiben.
Die Veranstaltung dient dem Austausch neuer Ideen, Methodologien sowie Spezifikations- und Analysetechniken für die (automatisierte) Analyse von Applikationen der nächsten Generation. Zu den Themen gehören:
Zugangs- und Anwendungskontrollstrategien;
Authentifikation und Autorisation;
Kontextbezogenes Rechnen;
Informationsflusskontrolle;
Sprachbasierte Sicherheit;
Peer-to-Peer-Systeme;
Überwachungsstrategien und -techniken;
Netzwerk und Autorisationsinfrastrukturen;
Aspekte der Sicherheit, Zuverlässigkeit und Belastbarkeit;
Servicekomposition und -synthese;
Sicherheitsprotokolle;
Vertrauen und Vermögensverwaltung;
Arbeitsfluss und Workflow-Management-Analyse.Weitere Informationen sind abrufbar unter: http://www.telematik.uni-freiburg.de/woops(öffnet in neuem Fenster)
Petri-Netze sind eine Art mathematische Modelliersprache, die in verteilten Systemen verwendet wird. Sie tragen beispielsweise zur Sicherheit und Zuverlässigkeit von Applikationen wie Smart Grids und Distributed Enterprise Systems bei.
Noch ist jedoch nicht klar, ob die verfügbaren Petri-Netz-basierten Techniken die notwendige Präzision zur Steigerung des Vertrauens von Designern in die allgemeine Sicherheit neuer Applikationen bieten können. Die Beurteilung dieser Techniken hinsichtlich Fehlerfreiheit und rechnersicherer Komplexität sowie konkreter Fallbeispiele wird die Forschungen auf dem Gebiet der Petri-Netze weiter vorantreiben.
Die Veranstaltung dient dem Austausch neuer Ideen, Methodologien sowie Spezifikations- und Analysetechniken für die (automatisierte) Analyse von Applikationen der nächsten Generation. Zu den Themen gehören:
Zugangs- und Anwendungskontrollstrategien;
Authentifikation und Autorisation;
Kontextbezogenes Rechnen;
Informationsflusskontrolle;
Sprachbasierte Sicherheit;
Peer-to-Peer-Systeme;
Überwachungsstrategien und -techniken;
Netzwerk und Autorisationsinfrastrukturen;
Aspekte der Sicherheit, Zuverlässigkeit und Belastbarkeit;
Servicekomposition und -synthese;
Sicherheitsprotokolle;
Vertrauen und Vermögensverwaltung;
Arbeitsfluss und Workflow-Management-Analyse.Weitere Informationen sind abrufbar unter: http://www.telematik.uni-freiburg.de/woops(öffnet in neuem Fenster)