Reusable Formal Models for Threat Specification, Detection, and Treatment.

Quentin Rouland, Brahim Hamid, Jason Jaskolka

Browse the full ICSR paper archive.