A Logic Model for Temporal Authorization Delegation with Negation

Chun Ruan, Vijay Varadharajan, Yan Zhang. A Logic Model for Temporal Authorization Delegation with Negation. In Colin Boyd, Wenbo Mao, editors, Information Security, 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings. Volume 2851 of Lecture Notes in Computer Science, pages 310-324, Springer, 2003. [doi]

Abstract

Abstract is missing.