@INCOLLECTION{KRAU-13-ATC,
  author = {Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin},
  title = {Formal Analysis of Security Metrics with Defensive Actions},
  booktitle = {The 10th IEEE International Conference on Autonomic and Trusted Computing.
	To appear.},
  publisher = {IEEE},
  year = {2013}
}