Secure information flow as a safety problem (2005)

by Tachio Terauchi , Alex Aiken
Venue:In SAS
Citations:57 - 3 self