TY - CONF AU - Chung AU - David Kuhn C2 - IEEE 17th International Conference on Information Reuse and Integration (IEEE IRI2016), Pittsburgh, PA DA - 2016-12-19 DO - https://doi.org/10.1109/IRI.2016.49 LA - en PB - IEEE 17th International Conference on Information Reuse and Integration (IEEE IRI2016), Pittsburgh, PA PY - 2016 TI - General Methods for Access Control Policy Verification ER -