Prasad Naldurg, Raghavendra K. R.. SEAL: a logic programming framework for specifying and verifying access control models. In Ruth Breu, Jason Crampton, Jorge Lobo, editors, SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings. pages 83-92, ACM, 2011. [doi]
@inproceedings{NaldurgR11,
title = {SEAL: a logic programming framework for specifying and verifying access control models},
author = {Prasad Naldurg and Raghavendra K. R.},
year = {2011},
doi = {10.1145/1998441.1998454},
url = {http://doi.acm.org/10.1145/1998441.1998454},
tags = {program verification, logic programming, programming, logic, access control},
researchr = {https://researchr.org/publication/NaldurgR11},
cites = {0},
citedby = {0},
pages = {83-92},
booktitle = {SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings},
editor = {Ruth Breu and Jason Crampton and Jorge Lobo},
publisher = {ACM},
isbn = {978-1-4503-0688-1},
}