Der Industriepartner hat in verschiedenen Anwendungen Konzepte der rollenbasierten Zugriffskontrolle (RBAC) und Sicherheitsregeln umgesetzt, mit denen …
Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen …
Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physische Systeme, der den extrem …
The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the …
Ob im Antriebsstrang, in zentralen Steuergeräten oder der Karosserie- und Komfortelektronik – der Anteil elektronischer Komponenten im Auto nimmt …