@conference{225606,
  author = {Chung and David Kuhn},
  title = {General Methods for Access Control Policy Verification},
  year = {2016},
  month = {2016-12-19},
  publisher = {IEEE 17th International Conference on Information Reuse and Integration (IEEE IRI2016), Pittsburgh, PA},
  doi = {https://doi.org/10.1109/IRI.2016.49},
  language = {en},
}