Runtime Verification of Information flow, Fachbücher von Mohamed Khalefa Sarrab

Das Buch "Runtime Verification of Information Flow" von Mohamed Khalefa Sarrab behandelt die Herausforderungen und Lösungen im Bereich der Informationssicherheit, insbesondere im Hinblick auf den Schutz sensibler Daten nach der Gewährung von Zugriff. Während herkömmliche Sicherheitsmechanismen wie Zugriffskontrolle, Firewalls und Verschlüsselung sich auf die Kontrolle der Informationsfreigabe konzentrieren, wird in diesem Werk ein innovativer Ansatz zur Überwachung des Informationsflusses in Echtzeit vorgestellt. Der Autor entwickelt ein neues Rahmenwerk, das die Verhaltenskonfigurierbarkeit und die Interaktion mit den Nutzenden berücksichtigt. Diese Aspekte sind entscheidend, da Sicherheitsanforderungen variieren können und sich im Laufe der Zeit ändern. Das Buch bietet wertvolle Einblicke in die Notwendigkeit einer flexiblen und zuverlässigen Sicherheitsüberwachung, die es den Nutzenden ermöglicht, das Programmverhalten während der Ausführung anzupassen und den Informationsfluss zu steuern.