TY - CONF AU - Chung AU - Antonios Gouglidis AU - Jeremy Busby AU - David Hutchison C2 - 2nd Workshop on Attribute Based Access Control (ABAC 2017), Scottsdale, AZ DA - 2017-03-24 DO - https://doi.org/10.1145/3041048.3041049 LA - en PB - 2nd Workshop on Attribute Based Access Control (ABAC 2017), Scottsdale, AZ PY - 2017 TI - Verification of Resilience Policies that Assist Attribute Based Access Control ER -