Login / Signup
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.
Daniel J. Dougherty
Joshua D. Guttman
John D. Ramsdell
Published in:
IFM (2018)
Keyphrases
</>
security protocols
data analysis
databases