2 search results - page 1 / 1 » Computationally Sound Typing for Non-interference: The Case ... |
FSTTCS
2007
Springer
13 years 11 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...
CSFW
2005
IEEE
13 years 11 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...