Formal approach to security metrics. What does ‘more secure’ mean for you? Publication Type: Conference Proceedings Authors: Leanid Krautsevich; Fabio Martinelli; Artsiom Yautsiukhin Source: IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, p.162–169 (2010)
