Evaluating and Improving Protocol Analysis by Automatic Proof.

Stephen H. Brackin

Published in: CSFW (1998)

Keyphrases

data analysis
semi automatic
statistical analysis
lightweight
database
real time
databases
social networks
feature selection
evolutionary algorithm
distributed systems
fully automatic
quantitative analysis