@INCOLLECTION{KRAU-11-WISTP,
  author = {Leanid Krautsevich and Fabio Martinelli and Artsiom Yautsiukhin},
  title = {Formal Analysis of Security Metrics and Risk},
  booktitle = {Proceedings of the IFIP Workshop on Information Security Theory and
	Practice},
  publisher = SV,
  year = {2011},
  volume = {6633},
  series = LNCS,
  pages = {304--319}
}