Compositional approach to quantify the vulnerability of computer systems - Homaei, Hossein.