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











