Karl Crary, Aleksey Kliger, Frank Pfenning  Home/Search
Context Related
| cmu.edu/~fp/papers/fcs04.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/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we will restrict our attention to secrecy properties. A variety of security-typed languages have been proposed, and several of them are both higher-order (i.e., support first-class functions) and provide mutable state [4, 9, 11, 17] (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.4: A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
0.3: Under consideration for publication in J. Functional.. - Karl Crary Aleksey (Correct)
0.2: Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
Similar documents based on text: More All
0.2: Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (Correct)
0.2: Theory and Implementation of an Efficient Tactic-Based Logical.. - Nogin (2002) (Correct)
0.1: Flexible Type Analysis - Crary, Weirich (1999) (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/crary04monadic.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/crary04monadic.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
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999
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
79 ACM Transactions on Programming Languages and Systems (context) - Morrisett, Walker et al. - 1999
39 A uniform type structure for secure information flow - Honda, Yoshida - 2002
26 Secure information flow and CPS - Zdancewic, Myers - 2028
19 ACM Transactions on Programming Languages and Systems (context) - Pottier, Simonet et al. - 2003
18 Secure information flow via linear continuations - Zdancewic, Myers - 2002
14 Programming Languages for Information Security (context) - Zdancewic - 2002
8 The SLam calculus: Programming with secerecy and integrity (context) - Heintze, Riecke - 1998
2 To Appear (context) - Crary, Kliger et al. - 2004
2 Domain separation by construction (context) - Harrison, Tullsen et al. - 2003
Documents on the same site (http://www-2.cs.cmu.edu/~fp/index.html):
A Probabilistic Language based upon Sampling Functions - Park, Pfenning, Thrun (2004) (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