Formal Analysis of Security Metrics and Risk.

Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin

Browse the full WISTP paper archive.