Modeling and quantification of security attributes of software systems | IEEE Conference Publication | IEEE Xplore