A Survivability Quantitative Analysis Model for Network System Based on Attack Graph | IEEE Conference Publication | IEEE Xplore