Projekt: Entwicklung einer kryptographischen Bibliothek in ADA

Ada ist eine Programmiersprache die ursprünglich für die Erstellung von
zuverlässigen und hochverfügbaren Softwaresystemen ausgelegt wurde. Aufgrund der
hohen Anforderung an die Sprache hat sie sich vor allem in sicherheitskritischen
Bereichen durchgesetzt, zum Beispiel in der Flugsicherung, in
Sicherheits-Einrichtungen der Eisenbahn, in Waffensystemen, der Raumfahrt, der
Medizin, oder der Steuerung von Kernkraftwerken.

Bei diesem Projekt geht es konkret um die (Weiter-)Entwicklung einer
kryptographischen Bibliothek in Ada. Die Ausrichtung ist dabei individuell auf
die einzelnen Teilnehmer möglich: von eher unmathematisch
(Hashfunktionen/Secret-Key) bis hin zu relativ mathematisch (Public-Key).

Nähere Informationen zu diesem Projekt sind vor Semesterbeginn auf der
Internetseite der Professur für Mediensicherheit verfügbar.

Eine Einführung in Ada und in die nötigen kryptographischen Grundprinzipien findet
am Anfang des Semesters statt.

Projektleiter: Ewan Fleischmann

Termine (Ort: Mediensicherheitslabor):

• Vorbesprechung: 18.10.2007 (17.00 Uhr)
• Ada/Krypto Crashkurse nach Absprache (Dateien finden sich auf der Vorlesungsseite
  des letzten Semesters)
• Kick-Off Meeting Projekt: 21.11.2007 (11.00 Uhr)
• Treffen vor Implementation: 19.12.2007 (11.00 Uhr)
  - Präsentation Arbeitsplanung Forschungsprojekte (je 15 min.)
  - Präsentation Arbeitsplanung Laborprojekte (je 10 min.)
  Bitte gestaltet die Präsentationen so, dass sie für eure Kommilitonen auch verständlich sind!
• Zwischenergebnisse: 23.01.2007 (11.00 Uhr, MSL)
• Informationen zur Notengebung
• Zwischenergebnisse II: 27.02.2007 (11 Uhr MSL)
• Endpräsentation (28.03.2008, 9 Uhr, MSL)
• Open Lab Night 2008 / Zwischenergebnisse (nach Absprache)

Materialien/Unterlagen:

• libadacrypt-dev-0.1.3
  
• Dokumentation libadacrypt (deutsch) [mit Miktex kompiliert]
• Subversion-Doku
• recht nette "Einführung in die Kryptographie" (vom CCC Stuttgart)
• Ada Unterlagen: Ada Programming (Wiki-Books), Skript von der TFH Berlin, Ada 95: John English

Weiter Informationen:

• Verwendung des GNAT Compilers (AdaCore, GPL)
• Zu Implementationsbeginn wird ein Subversion Server bekannt gegeben
  (insofern ist es sinnvoll eine IDE wie Eclipse(z.B. mit AonixADT) oder GPS zu verwenden da diese Subversion unterstützen)
• Voraussetzungen für ein erfolgreiches Bestehen:
  - Teilnahme an den Veranstaltungen
  - Präsentation von Zwischenergebnissen
  - Implementation und Dokumentation
  - Einpflegen der eigenen Änderungen in die zentrale Code-/Dokumentationsbasis
  - Endpräsentation mit detaillierter Darstellung der eigenen Leistung (Termin Ende WS 07/08, nach Absprache)
  - Abgabe eines Posters (DIN A2 oder A1, digital - z.B. PDF) mit Darstellung der implementierten Ideen