×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [correctness propertyobtain]
Correctness Proofs and Counter-model Generation with Authentication-Protocol Logic Koji Hasebe Mitsuhiro Okada Department of Philosophy, Keio University
227 views
Correctness Proofs and Counter-model Generation with Authentication-Protocol Logic
41 views