A Novel Framework for Protocol Analysis.

Kristian Gjøsteen George Petrides Asgeir Steine

Published in: ProvSec (2011)

Keyphrases

lightweight
statistical analysis
main contribution
analysis tool
data sets
database
knowledge base
formal analysis
colored petri nets