This is an accompanying code for the technical report presented for A-SIT Austria [1].
This code contains the supporting software components and the experimental prototype used to establish and evaluate automated reasoning over security policies.  

The code is provided in the form of the application based on Play Framework 2.x, using Java and Scala constructs and external supporting libraries.
For datils on Play Framework please consult the relevant web sites [2].

The code presented in this package is aimed at research and evaluation purposes of the authorization concept desribed in the technical report. Therefore, the code, its structure and implementation should be considered at related alpha quality level and not aimed at production or similar purposes.

[1] Bojan Suzic: "Automated reasoning over securitz policies" (2017), available at https://demo.a-sit.at/automated-reasoning-over-security-policies/
[2] https://www.playframework.com
