Krautsevich, Leanid, Fabio Martinelli, and Artsiom Yautsiukhin. Formal approach to security metrics. What does ?more secure? mean for you? In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications., 2010.