A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures | IEEE Conference Publication | IEEE Xplore