Skip to content
KitploitKITPLOIT
StrumentiBlog
Invia
StrumentiBlog
Invia

Strumenti di Hacking, PenTest e Cybersecurity per il tuo Arsenale di Sicurezza!

Kitploit è una directory di strumenti di hacking, cybersecurity e pentesting. Scopri gli ultimi aggiornamenti dei progetti per trovare vulnerabilità, analizzare sistemi, automatizzare i test e rafforzare la tua sicurezza.

··Feed·Contatto·Privacy·© 2026 Kitploit

Directory degli strumenti

Categorie

Vedi tutte le categorie
Loading categories
formal_np1sec — Formalizing np1sec using Tamarin and other FM (see https://github.com/equalitie/np1sec) | Kitploit
Strumenti/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)

Vedi Repository
118 anni faNon ancora revisionato

Più Popolari

Vedi tutti →

Scopri gli strumenti più utilizzati dalla nostra community.

Esplora tutti gli strumenti

Sfoglia la nostra collezione di strumenti

Vedi tutti gli strumenti →
Condividi

Ricerca sulla dimostrazione della riservatezza della chiave di gruppo nella parte di scambio di chiavi di gruppo di (n+1)sec, con alcune limitazioni, come ad esempio avere solo 3 partecipanti. Questo lavoro è stato svolto da Alex Balducci e Andy Lee.

Il documento principale è gkep_normxorm_simplified_writeup.txt. Contiene riferimenti ai due documenti di "prova manuale" e a gkep_normxorm_simplified_cleaned.spthy, che è l'input per Tamarin. GKEP_3_normxorm_simplified_cleaned_proof.spthy è l'output di Tamarin.

Vedi anche useful_results.txt

Scarica lo strumento