Formal Construction of Threat Detections from Attack Trees.

Dumitru-Bogdan Prelipcean, Catalin Dima, Daniele Varacca

Browse the full ICFEM paper archive.