swMATH26750MaRDI QIDQ38479FDOQ38479
Author name not available (Why is that?)
Official website: http://web.cs.wpi.edu/~cs564/f12/papers/binder.pdf
Cited In (21)
- Access control in a core calculus of dependency
- A framework for the analysis of access control policies with emergency management
- Trust enhanced distributed authorisation for web services
- A conditional constructive logic for access control and its sequent calculus
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
- Algebra and logic for access control
- Logic for Programming, Artificial Intelligence, and Reasoning
- On the verification of security-aware E-services
- Logic in Access Control (Tutorial Notes)
- A novel logic-based automatic approach to constructing compliant security policies
- A graph-based framework for the analysis of access control policies
- Modular materialisation of Datalog programs
- An access control language based on term rewriting and description logic
- PORGY
- Ruby
- DKAL
- Lixto
- SAFKASI
- BCiC
- RDFox
- Title not available (Why is that?)
This page was built for software: Binder
