Joohyung Lee, Yi Wang, Yu Zhang
Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming
ICLP, 2015.
@inproceedings{ICLP-2015-LeeWZ, author = "Joohyung Lee and Yi Wang and Yu Zhang", booktitle = "{Technical Communications of the 31st International Conference on Logic Programming}", ee = "http://ceur-ws.org/Vol-1433/tc_78.pdf", pages = "247--259", publisher = "{CEUR-WS.org}", series = "{CEUR Workshop Proceedings}", title = "{Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming}", volume = 1433, year = 2015, }