Login / Signup
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols.
Yongyuth Permpoontanalarp
Published in:
FMOODS/FORTE (2010)
Keyphrases
</>
data analysis
data model
low cost