Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.

Victor Bandur, Mark Lawford, Sbastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng

Browse the full SAFECOMP paper archive.