Formal Analysis of Security Metrics with Defensive Actions.

Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin

Browse the full UIC paper archive.