Formal model-based argument patterns for security cases.

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka

Browse the full EuroPLop paper archive.