Formal approach to security metrics. What does ‘more secure’ mean for you? Вид публикации: Conference Proceedings Авторы: Leanid Krautsevich; Fabio Martinelli; Artsiom Yautsiukhin Источник: IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, p.162–169 (2010)
