@misc{229236,
  author = {Chung and David Kuhn and Dylan Yaga},
  title = {Verification and Test Methods for Access Control Policies/Models},
  year = {2017},
  month = {2017-06-27},
  publisher = {Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.SP.800-192},
  language = {en},
}