@conference{wistp11,
author = "Leanid Krautsevich and Fabio Martinelli and Artsiom Yautsiukhin",
booktitle = "WISPT",
doi = "10.1007/978-3-642-21040-2_22",
note = "CNR; Nessos, Aniketos; tier C; citations 4",
title = "{F}ormal {A}nalysis of {S}ecurity {M}etrics and {R}isk",
year = "2011",
}