P
Initializing...
Lemma 3: security implies both secrecy and correctness · Prove2Me