sfATM: A Logic for Quantitative Security Properties on Attack Trees.

Stefano M. Nicoletti, Milan Lopuha-Zwakenberg, Ernst Moritz Hahn, Marille Stoelinga

Browse the full SEFM paper archive.