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 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
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus
- Title not available (Why is that?)
- An Access Control Language Based on Term Rewriting and Description Logic
This page was built for software: Binder
