Karl Crary, Aleksey Kliger, Frank Pfenning  Home/Search
Context Related
| cmu.edu/~fp/papers/infoflow03.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~fp/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We explore the logical underpinnings of higher-order, security-typed languages with mutable state. Our analysis is based on a logic of information flow derived from lax logic and the monadic metalanguage. Thus, our logic deals with mutation explicitly, with impurity reflected in the types, in contrast to most higher-order security-typed languages, which deal with mutation implicitly via side-e#ects. (Update)
Cited by: More
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
A Programming Language for Probabilistic Computation - Park (2005) (Correct)
A Modal Language for Effects - Park, Harper (2004) (Correct)
Active bibliography (related documents): More All
0.8: A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
0.3: JFP 15 (2): 249--291, 2005. c - Cambridge University Press (2005) (Correct)
0.3: Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Similar documents based on text: More All
0.2: Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (Correct)
0.1: A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (Correct)
0.1: The Fox Project: Advanced Language Technology for.. - Harper, Lee, Pfenning (1998) (Correct)
Related documents from co-citation: More All
4: Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
4: Computational lambda-calculus and monads - Moggi - 1989
4: Information and Computation (context) - Moggi, computation - 1991
BibTeX entry: (Update)
K. Crary, A. Kliger, and F. Pfenning. A monadic analysis of information flow security with mutable state. Technical Report CMU-CS-03-164, School of Computer Science, Carnegie Mellon University, 2003. http://citeseer.ist.psu.edu/article/crary03monadic.html More
@misc{ crary03monadic,
author = "K. Crary and A. Kliger and F. Pfenning",
title = "A monadic analysis of information flow security with mutable state",
text = "K. Crary, A. Kliger, and F. Pfenning. A monadic analysis of information
flow security with mutable state. Technical Report CMU-CS-03-164, School
of Computer Science, Carnegie Mellon University, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/crary03monadic.html" }
Citations (may not include all citations):369 Information and Computation (context) - Moggi, computation - 1991
291 Computational lambda-calculus and monads - Moggi - 1989
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999 ACM DBLP
98 JFlow: Practical mostly-static information flow control - Myers - 1999
95 Language-based information-flow security - Sabelfeld, Myers - 2003
84 Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
51 Computational types from a logical perspective - Benton, Bierman et al. - 1998 ACM DBLP
47 Information flow inference for ML - Pottier, Simonet - 2002 ACM DBLP
39 A uniform type structure for secure information flow - Honda, Yoshida - 2002 ACM DBLP
29 Robust declassification - Zdancewic, Myers - 2001 ACM DBLP
26 Secure information flow and CPS - Zdancewic, Myers - 2028 ACM DBLP
19 ACM Transactions on Programming Languages and Systems (context) - Pottier, Simonet et al. - 2003
18 Secure information flow via linear continuations - Zdancewic, Myers - 2002 ACM DBLP
14 Programming Languages for Information Security (context) - Zdancewic - 2002 ACM
13 A type system for robust declassification - Zdancewic - 2003
8 The SLam calculus: Programming with secerecy and integrity (context) - Heintze, Riecke - 1998
4 Informaiton flow inference for free (context) - Pottier, Conchon - 2000
4 A monadic analysis of information flow security with mutable.. - Crary, Kliger et al. - 2003
Documents on the same site (http://www-2.cs.cmu.edu/~fp/papers/): More
A Type Theory for Memory Allocation and Data Layout - Petersen, Harper, Crary.. (2002) (Correct)
Trustless Grid Computing in ConCert - Chang, Crary, DeLap, Harper.. (2002) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC