Gültig bis 31.12.2002
Praktikum

Toolkits für automatische Protokollverifikation



Haben Sie Interesse an automatischer Protokollverifikation? Möchten Sie existierende Toolkits kennenlernen? Dann könnte dieses Praktikum der richtige Einstieg für Sie sein:

Sie sollten uns möglichst viele frei erhältliche Toolkits zur automatischen Verifikation von (Security-)Protokollen aus dem Internet holen, sie installieren und in einen lauffähigen Zustand bringen. Sie müssen damit rechnen, daß manche der Tools für Windows sein werden, andere für Unix. Manche haben ein Java-GUI, andere sind wieder reine command-line Tools. Sie sollten auf alle Fälle genügend Bereitschaft zum Tüfteln mitbringen.

Ein Beispiel für ein Toolkit mit GUI ist SPEAR II. Ein weiteres Beispiel wäre CADP, eine Toolbox, die für Universitäten frei verfügbar ist.

Ihre Aufgaben sind:

Sie müssen mit den Tools nicht arbeiten, sondern sie nur in einen lauffähigen Zustand bringen. Wenn Sie allerdings Interesse daran haben, die Tools auch zu benutzen, dann können Sie dies im Anschluß an das Praktikum im Rahmen einer Diplomarbeit tun.
 

Kontakt:

Homepage: