Login / Signup
Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions.
Rasoul Ramezanian
Published in:
ISC Int. J. Inf. Secur. (2009)
Keyphrases
</>
image quality
formal analysis
software engineering
authentication protocol