A Method Based on Global Attack Graph for Network Hardening | IEEE Conference Publication | IEEE Xplore