Correctness Proofs and Counter-model Generation with Authentication-Protocol Logic Koji Hasebe Mitsuhiro Okada Department of Philosophy, Keio University.
Correctness Proofs and Counter-model Generation with Authentication-Protocol Logic