User: Guest  Login
Original title:
Sprachbasierte Konstruktion sicherer Systeme 
Translated title:
Language based construction of secure systems 
Year:
2003 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Spies, Peter Paul (Prof. Dr.) 
Referee:
Eckert, Claudia (Prof. Dr.); Biskup, Joachim (Prof. Dr.) 
Format:
Text 
Language:
de 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Sicherheit; Konstruktion sicherer Systeme; Programmiersprachen; verteilte Systeme; Konsistenz; sprachbasiert 
Translated keywords:
security; developing secure systems; programming language; distributed systems; consistency; language based 
Controlled terms:
Verteiltes System; Systementwurf; Top-down-Verfahren; Sicherheit; Konsistenz  
TUM classification:
DAT 460d; DAT 250d; DAT 318d 
Abstract:
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...    »
 
Translated abstract:
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...    »
 
Publication :
Universitätsbibliothek der TU München 
Oral examination:
07.02.2003 
File size:
1930333 bytes 
Pages:
391 
Last change:
04.07.2007