On Tools for Practical and Effective Security Policy Management and Vulnerability Scanning. - Ilkka Urtamo; Andrei Costin (BMSD, 2023)