Secure Information Flow and CPS (2001)
Cached
Download Links
- [www.cis.upenn.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- DBLP
Other Repositories/Bibliography
by
Steve Zdancewic
,
Andrew C. Myers
| Venue: | In Proc. of the 10th European Symposium on Programming, volume 2028 of Lecture Notes in Computer Science |
| Citations: | 30 - 10 self |
BibTeX
@INPROCEEDINGS{Zdancewic01secureinformation,
author = {Steve Zdancewic and Andrew C. Myers},
title = {Secure Information Flow and CPS},
booktitle = {In Proc. of the 10th European Symposium on Programming, volume 2028 of Lecture Notes in Computer Science},
year = {2001},
pages = {46--61},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Security-typed languages enforce secrecy or integrity policies by type checking. This paper investigates continuation-passing style as a means of proving that such languages enforce non-interference and as a first step towards understanding their compilation. We present a lowlevel, secure calculus with higher-order, imperative features. Our type system makes novel use of ordered linear continuations.
