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