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".

edb.pl idb.pl datagen_rev3.pl ZIP pack (3 files)
browser-thumb

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