DMCA
Secure Information Flow via Linear Continuations (2002)
Cached
Download Links
- [www.cis.upenn.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.cis.upenn.edu]
- [www.cis.upenn.edu]
- DBLP
Other Repositories/Bibliography
by
Steve Zdancewic
,
Andrew C. Myers
| Venue: | Higher Order and Symbolic Computation |
| Citations: | 39 - 9 self |
BibTeX
@ARTICLE{Zdancewic02secureinformation,
author = {Steve Zdancewic and Andrew C. Myers},
title = {Secure Information Flow via Linear Continuations},
journal = {Higher Order and Symbolic Computation},
year = {2002},
volume = {15},
pages = {2002}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages enforce noninterference and as a rst step towards understanding their compilation. We present a low-level, secure calculus with higher-order, imperative features and linear continuations.
