Mauro Andreolini, Andrea Artioli, Luca Ferretti, Mirco Marchetti, Michele Colajanni. A Framework for Automating Security Assessments with Deductive Reasoning. In Francesco Buccafurri, Elena Ferrari, Gianluca Lax, editors, Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023. Volume 3488 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.