Enhancement of probabilistic attack graphs for accurate cyber security monitoring | IEEE Conference Publication | IEEE Xplore