Noise Explorer: Entwerfen und untersuchen Sie Noise-Handshake-Muster
2025-03-05
Noise Explorer ist eine Online-Engine zur Analyse von Noise-Protokollrahmen-Handshake-Mustern (Revision 34). Sie ermöglicht das Entwerfen von Noise-Handshake-Mustern, die Validierung anhand der Spezifikation, die Generierung von formalen Verifikationsmodellen im Applied Pi-Kalkül (analysierbar gegen passive und aktive Angreifer mit böswilligen Akteuren), die Untersuchung eines Kompendiums von formalen Verifikationsergebnissen (einschließlich aller Muster aus der ursprünglichen Spezifikation) und die Generierung sicherer Implementierungen in Go oder Rust, sogar für WebAssembly.