Vivek Nigam
On the Complexity of Linear Authorization Logics
LICS, 2012.
@inproceedings{LICS-2012-Nigam, author = "Vivek Nigam", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.61", isbn = "978-1-4673-2263-8", pages = "511--520", publisher = "{IEEE Computer Society}", title = "{On the Complexity of Linear Authorization Logics}", year = 2012, }