Model driven security from UML models to access control architectures [Elektronische Ressource] / vorgelegt von Torsten Lodderstedt

Model Driven Securityfrom UML Models to Access Control ArchitecturesDissertation zur Erlangung des Doktorgrades der Fakultat fur Angewandte¨ ¨Wissenschaften der Albert-Ludwigs-Universita¨t Freiburg im Breisgauvorgelegt von Torsten Lodderstedt2003• Dekan: Prof. Dr. Thomas Ottmann• Pru¨fungskommision:– Prof. Dr. Stefan Leue– Prof. Dr. Christoph Scholl– Prof. Dr. David Basin– Prof. Dr. Gunter Muller¨ ¨• Termin der Disputation: 15.03.20042ZusammenfassungSicherheit ist ein integraler Bestandteil moderner IT-Systeme und die Ent-wicklung solcher Systeme erfordert es, die notwendigen Sicherheitstechnolo-gien zu identifizieren und sie zu integrieren. Beispiele fur solche Technologien¨sindZugriffskontrollezumSchutzvonSystemressourcenvorunerlaubtemZu-¨griff,Verschlusselung,umdieVertraulichkeitvonDatenwahrendihrerUber-¨ ¨tragung u¨ber ein Netzwerk zu schu¨tzen, und die Verwendung von digitalenSignaturen zum elektronischen Unterzeichnen von Vertragen. Obwohl eine¨große Anzahl von Sicherheitsarchitekturen und -technologien verfu¨gbar ist,gibt es beinahe taglich Berichte von Fehlern in den Sicherheitsmechanismen¨von IT-Systemen.Warum ist es so schwierig, robuste, sichere Systeme zu entwickeln? EineAnalyse der Softwareentwicklungsprozesse wie sie heute typischerweise ange-wendet werden zeigt, daß Sicherheit nicht systematisch sondern zumeist adhoc behandelt wird.