Login / Signup

Prospex: Protocol Specification Extraction.

Paolo Milani ComparettiGilbert WondracekChristopher KrügelEngin Kirda
Published in: IEEE Symposium on Security and Privacy (2009)
Keyphrases
  • protocol specification
  • communication protocols
  • formal methods
  • databases
  • machine learning
  • social networks
  • expert systems
  • data management
  • fine grained
  • formal specification