Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Browse the full SAFECOMP paper archive.