Automated generation and analysis of attack graphs | IEEE Conference Publication | IEEE Xplore