Secure Information Flow and CPS Export

@article{citeulike:804678, 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 first step towards understanding their compilation. We present a low-level, secure calculus with higher-order, imperative features and linear continuations.}, author = {Zdancewic, Steve and Myers, Andrew C.}, citeulike-article-id = {804678}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9666}, journal = {Lecture Notes in Computer Science}, keywords = {continuations, information, linear, security}, pages = {46--??}, posted-at = {2006-08-18 04:04:48}, priority = {1}, title = {Secure Information Flow and CPS}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9666}, volume = {2028}, year = {2001} }

TY - JOUR ID - citeulike:804678 L3 - citeulike-article-id:804678 N2 - 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 first step towards understanding their compilation. We present a low-level, secure calculus with higher-order, imperative features and linear continuations. JF - Lecture Notes in Computer Science EP - ?? TI - Secure Information Flow and CPS VL - 2028 SP - 46 KW - continuations KW - information KW - linear KW - security AU - Zdancewic, Steve AU - Myers, Andrew PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9666 ER -