Improved Reachability Analysis for Security Management | IEEE Conference Publication | IEEE Xplore