Host-Centric Model Checking For Network Vulnerability Analysis.pdf [Free Download!]