Kompositionale Credential-basierte Zugriffskontroll-Systeme

• Applicant: Professor Dr. Joachim Biskup
• Subject Area: Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: from 2002 to 2008
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5389267

Der Ansatz der Kompositionalität dient dazu, eine umfassende Eigenschaft eines zusammengesetzten IT-Systems konstruktiv zu erreichen und analytisch nachzuweisen. Für das Gebiet der Sicherheit von IT-Systemen soll dieser Ansatz im übergreifenden Gesamtvorhaben "Kompositionale Sicherheit" anhand von Einzelvorhaben zu Betriebssystemen, Verteilten Systemen und Inforrnationssystemen untersucht und dabei erstmals systematisch entwickelt werden. In diesem Einzelvorhaben werden zwei kompositionale Zugriffskontroll-Systeme entworfen und prototypisch implementiert. Diese Systeme stützen sich auf Credentials, also innerhalb einer Public-Key Infrastruktur vergebenen, kryptographisch gegen Fälschung und Missbrauch gesicherten Bescheinigungen über Identitäten, sonstigen Eigenschaften sowie zugeteilten Rechten. Das erste System realisiert eine kompositionale Algebra für ZugriffskontrollPolitiken, die jeweils von weitgehend autonom handelnden Teilnehmern festgelegt werden. Das zweite System verfeinert ein Verfahren zur sicheren Mediation zwischen Anbietem und Nachfragem von Information. Dabei sollen bisherige, durch Sicherheitsanforderungen bedingte Beschränkungen der Funktionalität überwunden werden, indem sowohl die funktionalen als auch die sicherheits-relevanten Operationen voll kompositional gestaltet werden.

• DFG Programme: Research Grants