Validation of the Specification Means Ontology on the Simple Firewall Case.

Published in: Security and Management (2009)

Keyphrases

provably correct
domain specific
conceptual model
semantic annotation
database systems
knowledge representation
information retrieval
domain knowledge
databases
expert systems
knowledge acquisition
network security
formal specification
case retrieval