Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin. Formal approach to security metrics.: what does more secure mean for you?. In Ian Gorton, Carlos E. Cuesta, Muhammad Ali Babar, editors, Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume. ACM International Conference Proceeding Series, pages 162-169, ACM, 2010. [doi]
Abstract is missing.