formal_np1sec

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