In der Arbeit wird ein sprachbasierter top-down Ansatz zur Konstruktion sicherer verteilter Systeme vorgestellt. Dieser Ansatz ist dadurch charakterisiert, dass alle Eigenschaften eines Systems einschließlich der Sicherheitsanforderungen mit Hilfe programmiersprachlicher Konzepte auf hohem Abstraktionsniveau festgelegt werden. Die Realisierung eines mit diesen Konzepten konstruierten Systems erfolgt automatisiert und angepasst an die Anforderungen unter Rückgriff auf ein Spektrum von Sicherheitsmechanismen der zugrundeliegenden Ausführungsbasis. Dieser sprachbasierte Konstruktionsansatz leistet einen Beitrag zum Schliessen der Lücke zwischen der Spezifikation von Sicherheitsanforderungen und deren Implementierung und entlastet den Systementwickler vom fehleranfälligen Einsatz realisierungsnaher Sicherheitskonzepte. Er ermöglicht es zudem, bereits zur Übersetzungszeit Aussagen über die Konsistenz der mit den Sprachkonzepten festgelegten Sicherheitseigenschaften zu gewinnen.     «

In der Arbeit wird ein sprachbasierter top-down Ansatz zur Konstruktion sicherer verteilter Systeme vorgestellt. Dieser Ansatz ist dadurch charakterisiert, dass alle Eigenschaften eines Systems einschließlich der Sicherheitsanforderungen mit Hilfe programmiersprachlicher Konzepte auf hohem Abstraktionsniveau festgelegt werden. Die Realisierung eines mit diesen Konzepten konstruierten Systems erfolgt automatisiert und angepasst an die Anforderungen unter Rückgriff auf ein Spektrum von Sicherheits...     »

In this thesis a language based top-down approach for developing secure distributed systems is elaborated. In this approach all features of a system - including security requirements - are specified with programming language concepts on a high level of abstraction. The implementation of a system constructed with these concepts is automated and adapted to the specified requirements. For this automated realization a variety of security mechanism provided by the underlying runtime system is used. This language based approach aims to bridge the gap between the specification of security requirements and their implementation and execution in a distributed environment. For the developer of a system it gives a chance to avoid error-proned use of hardware oriented security concepts. Furthermore the presented approach makes it possible to get information on the consistency of the security requirements that are specified by the language concepts during the compilation phase.     «

In this thesis a language based top-down approach for developing secure distributed systems is elaborated. In this approach all features of a system - including security requirements - are specified with programming language concepts on a high level of abstraction. The implementation of a system constructed with these concepts is automated and adapted to the specified requirements. For this automated realization a variety of security mechanism provided by the underlying runtime system is used. T...     »