Skip to content
KitploitKITPLOIT
ToolsBlog
Einreichen
ToolsBlog
Einreichen

Hacking-, PenTest- und Cybersicherheits-Tools für Ihr Sicherheitsarsenal!

Kitploit ist ein Verzeichnis von Hacking-, Cybersicherheits- und Pentesting-Tools. Entdecken Sie die neuesten Projekt-Updates, um Schwachstellen zu finden, Systeme zu analysieren, Tests zu automatisieren und Ihre Sicherheit zu stärken.

··Feeds·Kontakt·Datenschutz·© 2026 Kitploit

Tool-Verzeichnis

Kategorien

Alle Kategorien anzeigen
Loading categories
formal_np1sec — Formalizing np1sec using Tamarin and other FM (see https://github.com/equalitie/np1sec) | Kitploit
Tools/GitHubGitHub/nccgroup/formal_np1sec
Static AnalysisCryptographyPapers & Research
GitHubnccgroup/formal_np1sec

formal_np1sec

Formalizing np1sec using Tamarin and other FM (see https://github.com/equalitie/np1sec)

Repository anzeigen
11vor 8 JahrenNoch nicht geprüft

Beliebteste

Alle anzeigen →

Entdecken Sie die meistgenutzten Tools unserer Community.

Alle Tools erkunden

Durchsuchen Sie unsere Tool-Sammlung

Alle Tools anzeigen →
Teilen

Forschung zum Nachweis der Vertraulichkeit des Gruppenschlüssels im Gruppenschlüsselaustausch-Teil von (n+1)sec, mit bestimmten Einschränkungen wie nur 3 Teilnehmern. Diese Arbeit wurde von Alex Balducci und Andy Lee durchgeführt.

Das Hauptdokument ist gkep_normxorm_simplified_writeup.txt. Es enthält Verweise auf die beiden „Proof by Hand“-Dokumente und gkep_normxorm_simplified_cleaned.spthy, das die Eingabe für Tamarin ist. GKEP_3_normxorm_simplified_cleaned_proof.spthy ist die Ausgabe von Tamarin.

Siehe auch useful_results.txt

Tool herunterladen