Zugriffskontrolle bei Programmsystemen und im Datenschutz mittels Formaler Begriffsanalyse

Zusammenfassung

Es werden Anwendungen der Formalen Begriffsanalyse für den Entwurf von informationstechnischen Systemen unter zwei Sicherheitsaspekten vorgestellt — denen der Zugriffskontrolle und des Datenschutzes. Zur Zugriffskontrolle: Das Angebot von verteilten IT-Dienstleistungen sowie geschäftliche Kooperationen mittels verteilten IT-Systemen verlangen unter Verläßlichkeits-und Verbindlichkeitsgesichtspunkten nach einer neuen Systeminfrastruktur zur Unterstützung mehrparteiengerechter Systemkontrolle, d.h. nach organisations-und kooperationsgerechter, unabhängig von Systembetreiber-oder Administratoreingriffen verbindlich prüfbarer und mit Auflagen versehbarer Systemkontrolle. Der heutige architekturbedingte Kontrollvorteil von Systembetreibern und Administratoren soll dabei zugunsten einer kooperations-und mehrparteiengerechten Systemkontrolle aufgehoben werden, garantiert durch systemversiegelnde Zertifizierungen vertrauenswürdiger Dritter. Ein Lösungszugang von H. Strack vgl. [St93a, St93b, StLa93, St94, St95, StDB95, Stra95a] für die Modell-, Architektur-, Mechanismen-und Realisierungs-Ebene von IT-Systemen basiert auf zwei Konzepten: zum einen auf systemintegrierte Digitale Mehrparteien-Zertifizierung (MPZ) von Softwarekomponenten, authentisch autorisiert und gegen Manipulationen versiegelt durch (kryptographische) digitale Signaturen, zum anderen auf gleichzeitig organisations-und systemstrukturgerechte OrgSys-Systemkontrolle, modell-und mechanismenbezogen ableitbar mittels Formaler Begriffsanalyse.