Login / Signup
Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran.
John D. Ramsdell
Published in:
Protocols, Strands, and Logic (2021)
Keyphrases
</>
statistical analysis
data analysis
data sets
cost effective
cryptographic protocols