Reducing Complexity of Runtime Security Analysis in Software-Intensive Systems

The data includes two zip files including all models and a single execution of the experiments for our paper.
The models for our modular and incremental implementations are the same since both versions work on fragments
and construct the same high level model, the single difference is that the incremental implementation reuses part
of the previously constructed and verified models.
Each experiment directory contains all input predicates, rules, graphs and models generated in addition to the model building and verification results.