Login / Signup
An integrated framework for security protocol analysis.
Marcin Olszewski
Lukasz Cyra
Published in:
AsiaCCS (2008)
Keyphrases
</>
data analysis
security protocols
real time
database systems