Sign in

A Novel Framework for Protocol Analysis.

Kristian GjøsteenGeorge PetridesAsgeir Steine
Published in: ProvSec (2011)
Keyphrases
  • lightweight
  • statistical analysis
  • main contribution
  • analysis tool
  • data sets
  • database
  • knowledge base
  • formal analysis
  • colored petri nets