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]

Authors

Chun Ruan

This author has not been identified. Look up 'Chun Ruan' in Google

Vijay Varadharajan

This author has not been identified. Look up 'Vijay Varadharajan' in Google

Yan Zhang

This author has not been identified. Look up 'Yan Zhang' in Google