Attack Graph Based Network Risk Assessment: Exact Inference vs Region-Based Approximation | IEEE Conference Publication | IEEE Xplore