Bharat B. Madan Katerina Goseva-Popstojanova Kalyanaraman Vaidyanathan Kishor S. Trivedi Modeling and Quantification of Security Attributes of Software Systems. 505-514 2002 conf/dsn/2002 DSN http://computer.org/proceedings/dsn/1597/15970505abs.htm db/conf/dsn/dsn2002.html#MadanGVT02