Quantification And Formalization Of Security. by Michael Ryan Clarkson