Computationally Sound Symbolic Analysis of EAP-TNC Protocol.

Zijian Zhang Liehuang Zhu Feng Wang Lejian Liao Cong Guo Hongyuan Wang

Published in: INTRUST (2011)

Keyphrases

formal analysis
data sets
multiscale
data analysis
statistical analysis
real time
databases
information processing