Evaluating Network Security With Two-Layer Attack Graphs | IEEE Conference Publication | IEEE Xplore