Mircea Marin, Temur Kutsia, Besik Dundua. A Rule-based Approach to the Decidability of Safety of ABACα. In Florian Kerschbaum, Atefeh Mashatan, Jianwei Niu 0001, Adam J. Lee, editors, Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, SACMAT 2019, Toronto, ON, Canada, June 03-06, 2019. pages 173-178, ACM, 2019. [doi]
Abstract is missing.