Secure Information Flow as a Safety Problem.

Tachio Terauchi, Alex Aiken

Browse the full SAS paper archive.