Project
arbac_verifier
A way to solve simple ARBAC role reachability problems, given an .arbac definition file or a pre-built problem instance.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Development
Licenses
Apache-2.0
Dependencies
Development
Runtime
~> 0.2
~> 1.3