Login / Signup
Using SMV for Cryptographic Protocol Analysis: A Case Study.
Yuqing Zhang
Chunling Wang
Shimin Wei
Published in:
FCS (2005)
Keyphrases
</>
case study
data analysis
statistical analysis
cryptographic protocols
neural network
data model
software engineering