Binder
From MaRDI portal
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 semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
- A conditional constructive logic for access control and its sequent calculus
- 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
- PORGY
- Ruby
- DKAL
- Lixto
- SAFKASI
- BCiC
- RDFox
- An access control language based on term rewriting and description logic
- scientific article; zbMATH DE number 7453118 (Why is no real title available?)
This page was built for software: Binder
