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,
}











