@conference{11701,
  author = {Chung and David Kuhn and Tao Xie},
  title = {Property Verification for Generic Access Control Models},
  year = {2008},
  number = {2},
  month = {2008-12-20},
  publisher = {Proceedings of the 5th International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, -1},
  doi = {https://doi.org/10.1109/EUC.2008.22},
  language = {en},
}