@conference{236706,
  author = {Chung and Antonios Gouglidis and Jeremy Busby and David Hutchison},
  title = {Verification of Resilience Policies that Assist Attribute Based Access Control},
  year = {2017},
  month = {2017-03-24},
  publisher = {2nd Workshop on Attribute Based Access Control (ABAC 2017), Scottsdale, AZ},
  doi = {https://doi.org/10.1145/3041048.3041049},
  language = {en},
}