A semi-graphical modeling framework for the automated analysis of networked systems security | IEEE Conference Publication | IEEE Xplore