62
Voted
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...