Verification of Resilience Policies that Assist Attribute Based Access Control

Antonios Gouglidis, Vincent C. Hu, Jeremy Busby, David Hutchison. Verification of Resilience Policies that Assist Attribute Based Access Control. In Elisa Bertino, Ravi Sandhu, Ram Krishnan, editors, Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control, ABAC@CODASPY 2017, Scottsdale, Arizona, USA, March 24, 2017. pages 43-52, ACM, 2017. [doi]

Authors

Antonios Gouglidis

This author has not been identified. Look up 'Antonios Gouglidis' in Google

Vincent C. Hu

This author has not been identified. Look up 'Vincent C. Hu' in Google

Jeremy Busby

This author has not been identified. Look up 'Jeremy Busby' in Google

David Hutchison

This author has not been identified. Look up 'David Hutchison' in Google