Login / Signup

Complementing Computational Protocol Analysis with Formal Specifications.

Kim-Kwang Raymond ChooColin BoydYvonne HitchcockGreg Maitland
Published in: Formal Aspects in Security and Trust (2004)
Keyphrases
  • formal specification
  • reverse engineering
  • database
  • general purpose
  • databases
  • data analysis
  • lightweight
  • multi agent
  • expert systems
  • relational databases
  • production rules