Formal approach to security metrics.: what does "more secure" mean for you?

Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin

Browse the full ECSA paper archive.