Das AVISPA-Projekt

AVISPA steht für Automatisierte Validierung von Internet-Sicherheitsprotokollen und -anwendungen.
Ziel des AVISPA-Projekts ist die Entwicklung einer industrietauglichen Technologie auf Knopfdruck für die Analyse groß angelegter sicherheitsrelevanter Internet-Protokolle und -Anwendungen.

Diese Website enthält alle relevanten Informationen über AVISPA für Projektmitglieder, interessierte Dritte und Wissenschaftler weltweit.

Das AVANTSSAR-Projekt: ein Folgeprojekt des AVISPA-Projekts

AVANTSSAR schlägt eine rigorose Technologie für die formale Spezifikation und die automatische Validierung von Vertrauen und Sicherheit von dienstorientierten Architekturen vor. Diese Technologie wird in einem integrierten Toolset, der AVANTSSAR Validierungsplattform, automatisiert und auf relevante industrielle Fallstudien abgestimmt.

Das AVANTSSAR-Projekt

SPAN, der Security Protocol ANimator für AVISPA, wurde veröffentlicht!

SPAN wurde entwickelt, um Protokollentwickler bei der Erstellung von HLPSL-Spezifikationen zu unterstützen. Ausgehend von einer HLPSL-Spezifikation hilft SPAN bei der interaktiven Erstellung von Message Sequence Charts (MSC) der Protokollausführung. Da SPAN einen aktiven Eindringling implementiert, kann es auch verwendet werden, um interaktiv Angriffe auf Protokolle zu finden und zu erstellen.

Ressourcen

• Herunterladen des AVISPA-Tools
• Das AVISPA Tool Webinterface (Es ist keine Softwareinstallation erforderlich. Beachten Sie jedoch, dass jedem Benutzer begrenzte CPU-Zeit und Speicherressourcen zugewiesen werden).
• Sammlungen von Sicherheitsprotokollen
• Mailingliste avispa-users
• Der avispa-Benutzer-Community-Manager

Einrichtungen

Funding

Das AVISPA-Projekt wird von der Europäischen Union im Rahmen des Programms für künftige und neu entstehende Technologien (FET Open) im Zusammenhang mit dem Schwerpunkt Technologien der Informationsgesellschaft (IST) finanziert. Projektnummer: IST-2001-39252.