A logic model for temporal authorization delegation with negation

Chun Ruan*, Vijay Varadharajan, Yan Zhang

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)310-324
Number of pages15
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publication statusPublished - 2003


Dive into the research topics of 'A logic model for temporal authorization delegation with negation'. Together they form a unique fingerprint.

Cite this