

Beschreibung
Inhalt Sicherheit in Informationssystemen - Gewährleistung und Begrenzung des Informationsflusses.- Verfügbarkeit - eine tragende Säule sicherer Systeme.- Formale Spezifikation und Verifikation - Ein Überblick.- Freiheit oder Sicherheit - Ein Widerspruch infor...