TY - CONF AU - Chung, AU - Gouglidis, Antonios AU - Busby, Jeremy AU - Hutchison, David 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 -