M. M. Kucherov, N. A. Bogulskaya. Logical Language of Certificate-Based Access Control in Security Models. In Proceedings of the 2017 International Conference on Cryptography, Security and Privacy, ICCSP 2017, Wuhan, China, March 17 - 19, 2017. pages 131-135, ACM, 2017. [doi]
Abstract is missing.