Projekt : Sicherheitsmethoden und -techniken für petrinetzbasierte Multiagentensysteme

Dr. Daniel Moldt, Wissenschaftlicher Mitarbeiter
Till Dörges, Doktorand

Laufzeit: seit 2006

Schlagworte: Sicherheit, Muster, Pattern, Multiagentensysteme, Petrinetze, Netze-in-Netzen

Ziele: Verteilten Systemen inhärent sind besondere Anforderungen im Bereich Sicherheit. Dies umfasst zum einen die Absicherung gegenüber externen Einflüssen sowie zum anderen eine interne Absicherung der Abläufe und beteiligten Akteure, durch z. B. Rollenmodelle, Zugriffsrechte und Datenschutz oder Sicherstellung der Verfügbarkeit.

Multiagentensysteme sind besondere Systeme mit einem sehr hohen Verteilungsgrad. Beispielweise kann der Programmcode eines Agenten auf beliebigen Plattformen ausgeführt werden, was sehr genaue Überlegungen bzgl. der zugrundeliegenden Sicherheitsanforderungen und -modelle nahelegt.

Bei vielen Systemen spielt Sicherheit nur eine untergeordnete Rolle und ist weit davon, als wichtiges Querschnittsthema in allen Entwurfs- und Designphasen begriffen zu werden.

Diese Arbeit soll daher untersuchen, inwiefern bei Konzeption und Entwurf von petrinetzbasierten Multiagentensystemen Muster (engl. patterns) verwendet werden können. Sicherheitsrelevante Eigenschaften der Muster sollen einerseits bewiesen werden und andererseits als Bibliothek für das real existierende Multiagentensystem MULAN/CAPA zur Verfügung gestellt werden, um bei der Entwicklung künftiger Systeme darauf zurückgreifen zu können.

Zudem soll untersucht werden, inwieweit sich die gewonnenen Muster oder Konzepte auf weitere Klassen verteilter Systeme verallgemeinern lassen.