Skip to content
KitploitKITPLOIT
HerramientasBlog
Enviar
HerramientasBlog
Enviar

¡Herramientas de Hacking, PenTest y Ciberseguridad para tu Arsenal de Seguridad!

Kitploit es un directorio de herramientas de hacking, ciberseguridad y pentesting. Descubre las últimas actualizaciones de proyectos para encontrar vulnerabilidades, analizar sistemas, automatizar pruebas y fortalecer tu seguridad.

··Feeds·Contacto·Privacidad·© 2026 Kitploit

Directorio de Herramientas

Categorías

Ver todas las categorías
Loading categories
formal_np1sec — Formalizing np1sec using Tamarin and other FM (see https://github.com/equalitie/np1sec) | Kitploit
Herramientas/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)

Ver Repositorio
11hace 8 añosAún no revisado

Más Populares

Ver todos →

Descubre las herramientas más usadas por nuestra comunidad.

Explora todas las herramientas

Explora nuestra colección de herramientas

Ver todas las herramientas →
Compartir

Investigación sobre la demostración de la confidencialidad de la clave de grupo en la parte de intercambio de claves de grupo de (n+1)sec, con ciertas limitaciones como tener solo 3 participantes. Este trabajo fue realizado por Alex Balducci y Andy Lee.

El documento principal es gkep_normxorm_simplified_writeup.txt. Contiene referencias a los dos documentos de "prueba a mano” y a gkep_normxorm_simplified_cleaned.spthy, que es la entrada para Tamarin. GKEP_3_normxorm_simplified_cleaned_proof.spthy es la salida de Tamarin.

Véase también useful_results.txt

Descargar herramienta