formal_np1sec

Research into proving the confidentiality of the group key in the group key exchange part of n+1sec, with certain limitations such as having only 3 participants. This work was done by Alex Balducci and Andy Lee. The main document is gkepnormxormsimplifiedwriteup.txt. It contains references to the...