A Logic of Trust for Reasoning about Delegation and Revocation.
Marcos CramerDiego Agustín AmbrossioPieter Van HertumPublished in: SACMAT (2015)
Keyphrases
- access control
- trust relationships
- formal theory
- trust management
- trust model
- access control models
- logic programming
- modal operators
- access rights
- multi valued
- classical logic
- security policies
- access control systems
- trust evaluation
- spatial reasoning
- conflict resolution
- modal logic
- qualitative reasoning
- proof theory
- logical framework
- nonmonotonic logics
- computing environments