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]
@inproceedings{RuanVZ03:1,
title = {A Logic Model for Temporal Authorization Delegation with Negation},
author = {Chun Ruan and Vijay Varadharajan and Yan Zhang},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2851&spage=310},
tags = {logic},
researchr = {https://researchr.org/publication/RuanVZ03%3A1},
cites = {0},
citedby = {0},
pages = {310-324},
booktitle = {Information Security, 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings},
editor = {Colin Boyd and Wenbo Mao},
volume = {2851},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20176-9},
}