Login / Signup
Symbolic Analysis of Identity-Based Protocols.
David A. Basin
Lucca Hirschi
Ralf Sasse
Published in:
Foundations of Security, Protocols, and Equational Reasoning (2019)
Keyphrases
</>
statistical analysis
quantitative analysis
databases
data analysis
image analysis