This repository has been created as part of the delivery to an assign of the course Security2 at Ca' Foscary University. It contain a simple ARBAC (Attribute-Role-Based Access Control) analyser that solve the role reachability problem on little policies. The analyser is arbac_analyser.py and test policies can be found in Policies directory. To run the analyser you can use the command:
python arbac_analyser.py < Policies/policy1.arbac
The repository also contain a report on the analyser realization (report.pdf) and the text of the assignment(arbaclab.pdf).