Host-Centric Model Checking for Network Vulnerability Analysis | IEEE Conference Publication | IEEE Xplore