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:
Kontakt: