Binder
From MaRDI portal
Software:38479
swMATH26750MaRDI QIDQ38479FDOQ38479
Author name not available (Why is that?)
Cited In (14)
- 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
- Title not available (Why is that?)
This page was built for software: Binder
