@inproceedings{59578d7f22724457ab95f46551c01bc2,
title = "A Rule-based Approach to the Decidability of Safety of ABACa",
author = "Mircea Marin and Teimuraz Kutsia and Besik Dundua",
year = "2019",
doi = "10.1145/3322431.3325416",
language = "English",
isbn = "978-1-4503-6753-0",
pages = "173--178",
editor = "{Florian Kerschbaum, Atefeh Mashatan, Jianwei Niu, Adam J. Lee}",
booktitle = "Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, SACMAT 2019",
publisher = "ACM",
}