Identifying Dependency Between Secure Messages for Protocol Analysis.

Qingfeng Chen Shichao Zhang Yi-Ping Phoebe Chen

Published in: KSEM (2007)

Keyphrases

statistical analysis
lightweight
formal analysis
data analysis
group communication
email