Carlos E. Budde. Using Statistical Model Checking for Cybersecurity Analysis. In Antonio F. Skarmeta, Daniele Canavese, Antonio Lioy, Sara Nieves Matheu, editors, Digital Sovereignty in Cyber Security: New Challenges in Future Vision - First International Workshop, CyberSec4Europe 2022, Venice, Italy, April 17-21, 2022, Revised Selected Papers. Volume 1807 of Communications in Computer and Information Science, pages 16-32, Springer, 2022. [doi]
Abstract is missing.