An Efficient Approach to Minimum-Cost Network Hardening Using Attack Graphs | IEEE Conference Publication | IEEE Xplore