Logic-based reasoning on delegatable authorizations

DOI10.1007/3-540-48050-1_22MaRDI QIDQ3046839zbMATH OpenFDO

Authors Chun Ruan, Vijay Varadharajan, Yan Zhang

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2366/23660185.htm

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• A logic model for temporal authorization delegation with negation
• Evaluation of authorization with delegation and negation
• Logic Programming
• Resolving conflicts in authorization delegations
• Logical approaches to authorization policies

Cited in

(10)

• A framework for linear authorization logics
• A logic model for temporal authorization delegation with negation
• Resolving conflicts in authorization delegations
• Evaluation of authorization with delegation and negation
• Logic Programming
• A weighted graph approach to authorization delegation and conflict resolution
• Reasoning about delegation and revocation schemes in answer set programming
• Information Security and Privacy
• Supporting E-consent on health data by logic
• A formal semantics for SPKI

This page was built for publication: Logic-based reasoning on delegatable authorizations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3046839)