@article{26206,
  author = {Chung and David Kuhn and Tao Xie and J Hwang},
  title = {Model Checking for Verification of Mandatory Access Control Models and Properties},
  year = {2011},
  number = {21},
  month = {2011-02-28},
  publisher = {International Journal of Software Engineering and Knowledge Engineering},
  doi = {https://doi.org/10.1142/S021819401100513X},
  language = {en},
}