Vulnerability Knowledge Base

Below you can find and download the core components of our Vulnerability Knowledge Base (VKB) for security testing as introduced in our journal article entitled "Model-based Security Testing of Web Applications by Logic Programming". ZIP pack (3 files)

Files descriptions: - contains codified knowledge; - contains reasoning rules used to find vulnerabilities in software models; - contains test data definitions for test executions.