@inbook{afc7ce3f03bb4ef9a3e0079aece2e559,
title = "A logic model for temporal authorization delegation with negation",
abstract = "In this paper, we present a logic based approach to temporal decentralized authorization administration that supports time constrained authorization delegations, both positive and negative authorizations, and implicit authorizations. A set of domain-independent rules are given to capture the features of temporal delegation correctness, temporal conflict resolution and temporal authorization propagation along the hierarchies of subjects, objects and access rights. The basic idea is to combine these general rules with a set of domain-specific rules defined by users to derive the authorizations holding at any time in the system. In addition, some important semantic properties including the unique answer set property are further investigated.",
author = "Chun Ruan and Vijay Varadharajan and Yan Zhang",
year = "2003",
doi = "10.1007/10958513\_24",
language = "English",
isbn = "3540201769",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "310--324",
editor = "Colin Boyd and Wenbo Mao",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}