Rebac Availability Verifiers

Software OPEN SOURCE
Mehregan, Pooya;
(2016)
  • Publisher: Zenodo
  • Related identifiers: doi: 10.5281/zenodo.56133
  • Subject: zenodo | Uncategorized | ReBAC, Availability, Verifier, QBF, SAT, QBF, Java

<p>This is the implementation of Availability Criteria (Satisfiability, Feasibility and Resiliency) Verifiers for Relationship-based Access Control with support for Multiple Ownership (ReBAC/MO). The following are informal examples of availability criteria.</p> <p>.... View more
Share - Bookmark