Works matching IS 20082045 AND DT 2016 AND VI 8 AND IP 1
Results: 1
A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving.
- Published in:
- ISeCure, 2016, v. 8, n. 1, p. 1
- By:
- Publication type:
- Article