Automatisches Werkzeug zur Prüfung korrekter Nutzung kryptografischer Bibliotheken (Prüfwerkzeug)

Gegenstand dieses Projektes ist die Entwicklung eines Tools zur automatischen Prüfung von Quellcode auf sicheren Nutzung kryptographischen Bibliotheken und auf Konformität mit der technischen Richtlinie TR-2102-1. Im Rahmen des Projektes sind vom Auftragnehmer insbesondere die folgenden Leistungen zu Erbringen: — Konzeption einer im Rahmen der IT-Sicherheit spezifischen und nutzerfreundlichen Definitionssprache, um korrekter Nutzung kryptographischer Bibliotheken und die TR-2102-1 abbilden zu können, — Abbildung der IT-Sicherheitsempfehlungen der TR-2102-1 auf die Definitionssprache, — Abbildung der korrekten Nutzung der kryptografischen Bibliotheken „Bouncy Castle“ und „Botan“ auf die Definitionssprache, — Entwicklung eines Compilers, der die Definitionssprache in eine kontextsensitive statische Analyse übersetzt, — Durchführung einer automatischen Prüfung von Quellcode und eine Evaluierung der Tool-Qualität, — Integration des Tools in die Entwicklungsumgebungen Visual Studio und Eclipse.