Tulafale. Ein Sicherheitstool für Web-Services
Jetzt downloaden

Tulafale. Ranking & Zusammenfassung

Tulafale. Stichworte

Syntax XML XML-Syntax. SOAP-Sicherheitsprotokoll Seifenprotokoll Sicherheits-Online-Services. Bild herunterladen Foto. Samsung Phone Unlock Modem Spy Crack. SMTP-Client-Anwendung Infinite XP in. MP3 Rakete 5.1.7. Datums-Antivirus itune treiber kostenlos. freie otk romance. 3110c kostenlos contra. Mikroprozessor 8085-Software.

Tulafale. Beschreibung

Tulafale wurde entwickelt, um eine neue Spezifikationssprache zu sein, um maschinenübergreifbare Beschreibungen von SOAP-basierten Sicherheitsprotokollen und ihrer Eigenschaften zu schreiben. Tulafale basiert auf dem PI-Kalkül (zum Schreiben von Sammlungen von SOAP-Prozessoren, die parallel laufen), plus XML-Syntax (zum Ausdrücken von SOAP Messaging), logische Prädikate (zum Konstruieren und Filtern von SOAP-Meldungen) sowie Korrespondenz-Behauptungen (um Authentifizierungsziele der Protokolle anzugeben ). Unsere Implementierung kompiliert Tulafale in den angewendeten PI-Kalkül und leitet dann den auflösungsbasierten Protokoll-Verifizierer von Blanchet. Daher können wir die Authentifizierungs- und Geheimhaltungseigenschaften von SOAP-Protokollen automatisch überprüfen. Diese Version enthält Skripts, Dokumentation und Beispielrichtlinien aus unseren letzten Papieren "Sichere Sitzungen für Web Services" und "Überprüfung der politischen Sicherheit für Web Services".

Tulafale. Zugehörige Software