formal_np1sec

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+1sec, con ciertas limitaciones como tener solo 3 participantes. Este trabajo fue realizado por Alex Balducci y Andy Lee. El documento principal es...