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