Die Entwicklung sicherer und vertraulicher Systeme ist eine Herausforderung für System-Architekten als auch für Software-Entwickler. Die IT-Sicherheit wird durch das immer größer werdende Bewusstsein in der Politik und den Massenmedien zu einem stetig wachsenden und wichtigen Aspekt in der IT-Industrie.
In dieser Vorlesung wird die Programmiersprache Ada'05 (bzw. Ada'12) eingeführt, welche heutzutage als geeignete Sprache für die Implementierung sicherer und vertraulicher Systeme betrachtet wird. Desweiteren werden Methoden aus dem Feld des Software-Engineering präsentiert, welche es ermöglichen, Software-Systeme sicher, vertraulich und benutzbar zu gestalten. |