Massimiliano Rak, Daniele Granata, Beniamino Di Martino, Luigi Colucci Cante. A Semantic Methodology for Security Controls Verification in Public Administration Business Processes. In Leonard Barolli, editor, Complex, Intelligent and Software Intensive Systems - Proceedings of the 16th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2022), June 29 - July 1, 2022, Virtual Event / Kitakyushu, Japan. Volume 497 of Lecture Notes in Networks and Systems, pages 456-466, Springer, 2022. [doi]