P
Initializing...
Lemma 2: secrecy plus correctness implies security · Prove2Me