Formal Specification of Concurrent Enforcement UCON Model with CTL Logic

Xie Lili, Zhai Zhigang. Formal Specification of Concurrent Enforcement UCON Model with CTL Logic. In Xingming Sun, Zhaoqing Pan, Elisa Bertino, editors, Artificial Intelligence and Security - 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II. Volume 11633 of Lecture Notes in Computer Science, pages 627-641, Springer, 2019. [doi]

Bibliographies