108
click to vote
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...