Login / Signup
Complementing Computational Protocol Analysis with Formal Specifications.
Kim-Kwang Raymond Choo
Colin Boyd
Yvonne Hitchcock
Greg 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