Secure Information Flow via Linear Continuations

• 1 January 2002
• journal article
• Published by Springer Nature in Higher-Order and Symbolic Computation
• Vol. 15  (2/3) , 209-234
• https://doi.org/10.1023/a:1020843229247

Abstract

Keywords

• STRUCTURE
• FUNCTIONS
• FLOW
• SECURE
• CPS
• HIGHER ORDER
• NONINTERFERENCE
• LINEAR CONTINUATIONS
• LANGUAGES ENFORCE