Gesamt-Schlussbericht des Verbundprojektes Deutsch - CC Gmbh

Analyse steigert. Es galt also eine vernünftige Abwägung zwischen Analysegenauigkeit und
Analyseaufwand zu finden. Ohne vorherige Erprobung war der bestmögliche Kompromiss
nicht absehbar. Daher bestand eine kritischen Anforderungen darin, eine flexible
Implementierungsstrategie zu finden, die jederzeit ein Nachjustieren der Fluss- und Kontextsensitivität
ermöglicht, ohne größere Änderungen am Framework vornehmen zu müssen.
Parallel zu den vorrangig wissenschaftlichen Anforderungen wurden im Projekt praxisorientierte
Anforderungen ermittelt. Diese spiegeln vor allem die Anwendersicht auf das
entsprechende Softwareprodukt wider und beziehen sich insbesondere auf systemtechnische
Anforderungen, die gewünschte Handhabung sowie die sinnvolle und verwertbare
Ausgabe der Arbeitsergebnisse des geplanten Frameworks.
Nicht nur, um den Prozess der Anforderungsabstimmung zu unterstützen, sondern auch um
die Kommunikation und den Ergebnisaustausch unter den Projektpartnern zu erleichtern und
zu fördern, wurde bereits zu Projektbeginn vom Konsortialführer CC ein projektinterner Wiki
eingerichtet. Damit war die Arbeit der verschiedenen Verbundpartner für alle Projektmitglieder
transparent und nachvollziehbar.
Beschreibungssprache FLOW
Das Vorhaben war von Beginn an darauf ausgerichtet, eine möglichst quellsprachenunabhängige
Analyseunterstützung bereitzustellen. Für die ins Auge gefassten Programmiersprachen-Frameworks
wurden dazu zunächst die sicherheitsrelevanten Datenquellen und
Datensenken erhoben. Die Anforderung bestand darin, für alle ermittelten Codemuster eine
einheitliche Darstellungsmöglichkeit zu schaffen, die den Besonderheiten der Quellsprachen
Rechnung trägt. Unter Mitwirkung und Anleitung von IESE sammelten die Anwendungspartner
ICT und SHE dazu typische Codebeispiele bzw. Validierungsmuster. Aus diesen
Codemustern sollten im Projekt allgemeine Merkmale für sicherheitskritische Datenquellen
und Datensenken abgeleitet werden. Zudem flossen Ergebnisse hieraus in die Konzeption
der Datenflussbeschreibungssprache FLOW ein.
Diese SecFlow-eigene Modellierungssprache FLOW dient dazu, die für eine Analyse
notwendigen Informationen über Datenflüsse von externe Funktionen zu hinterlegen, die von
SecFlow nicht analysiert werden können bzw. explizit von der Analyse ausgenommen
werden sollen. Diese Informationen werden in der FLOW-Sprache über sogenannte Flow-
Dateien (Summary Datei) an das SecFlow-Werkzeug weitergegeben.
Das Konzept wurde von IESE entwickelt. Dabei wurde zunächst ein relationales, dann ein
aspektorientiertes Beschreibungsformat für Datenfluss-Spezifikationen erprobt. Beide
Spezifikationsformate setzten jedoch ein hohes Maß an Abstraktionsvermögen und viel
Hintergrundwissen über Datenflussanalyse beim Anwender voraus und erwiesen sich daher
als nicht geeignet. Aufbauend auf diesen Erfahrungen entwickelte Fraunhofer IESE in
mehreren Iterationen schließlich die spezialisierte Datenfluss-Beschreibungssprache FLOW
[Mandel&Jawurek 2008]. Neben der Sprachunabhängigkeit soll mit dem Einsatz von FLOW
und mit der damit verbundenen intuitiven Ausdrucksweise und den minimalen, aber genau
erzeugten Informationen die Spezifikation des Datenflusses erleichtert werden. Die abstrakte
Darstellung erlaubt es, bekannte Datenflüsse, -quellen und -senken auf einfache Art
abzubilden.
Um zukünftigen Anwendern die Erstellung solcher Spezifikationen zu erleichtern, wurde von
ICT und SHE auf Basis des Konzeptes von IESE eine Dokumentation mit Beispielen
erarbeitet [Kalenborn et al. 2008].
Entwicklung des Analysewerkzeuges
Auf Grundlage der Ergebnisse aus der Anforderungsanalyse wurde durch IESE und CC die
Softwarearchitektur des SecFlow-Werkzeugs entworfen und verschiedene Technologiealternativen
recherchiert und hinsichtlich ihres Nutzens und der Einsatzfähigkeit für das
Projekt bewertet.
Der Architekturentwurf beinhaltete den modularen Aufbau des Frameworks mit
Datei
SecFlow_Gesamtschlussbericht_V10.odt
Version
1.0
Datum
2009-02-02
Bearbeiter/in
Dana Richter
Seite
10 von 27