C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Using SMV for Cryptographic Protocol Analysis: A Case Study.
Yuqing Zhang
Chunling Wang
Jianping Wu
Xing Li
Published in:
ACM SIGOPS Oper. Syst. Rev. (2001)
Keyphrases
</>
statistical analysis
data analysis
image analysis
test bed
real time
cost effective