A Security Property Decomposition Argument Pattern for Structured Assurance Case Models.

Jason Jaskolka, Alvi Jawad, Joe Samuel, Brahim Hamid

Browse the full EuroPLop paper archive.