Cambridge University Press JFP 15 (2): 249-291, 2005. c 2005 Cambridge University Press DOI:...  Home/Search
Context
Related
| cmu.edu/~crary/paper...monadicinfo.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: cmu.edu/~crary/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. More importantly, we also take a store-oriented view of security, wherein security levels are... (Update)
Active bibliography (related documents): More All
0.3: Under consideration for publication in J. Functional.. - Karl Crary Aleksey (Correct)
0.3: A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
0.3: A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ press-jfp,
author = "Cambridge University Press",
title = "JFP 15 (2): 249--291, 2005. c",
url = "citeseer.ist.psu.edu/751336.html" }
Citations (may not include all citations):291 Computational lambda-calculus and monads - Moggi - 1989 ACM DBLP
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996 ACM
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999 ACM DBLP
98 JFlow: Practical mostly-static information flow control - Myers - 1999 DBLP
95 Language-based information-flow security - Syst, Sabelfeld et al. - 2003
87 Notions of computation and monads - Moggi - 1991 ACM DBLP
47 Information flow inference for ML - Pottier, Simonet - 2003 ACM DBLP
18 Secure information flow via linear continuations - Zdancewic, Myers - 2002 ACM DBLP
13 A type system for robust declassification - Zdancewic - 2003
8 The SLam calculus: Programming with secerecy and integrity (context) - Heintze, Riecke - 2002
8 From System F to typed assembly language - Morrisett, Walker et al. - 1999 ACM DBLP
6 A judgmental reconstruction of modal logic - Pfenning, Davies - 2001 ACM DBLP
1 Programming languages for information security (context) - Comput, -- - 2002 ACM
1 Foundations of Computer Security Workshop (context) - Symposium, of et al. - 2003
1 Secure information flow in a multi-threaded imperative langu.. (context) - in, -- et al. - 1998 ACM DBLP
1 Fourteenth IEEE Computer Security Foundations Workshop (context) - Zdancewic, Myers - 2001
1 Tenth European Symposium on Programming: Lecture Notes in Co.. (context) - Zdancewic, Myers - 2028
1 Confluent reductions: Abstract properties and applications t.. (context) - Symposium, of et al. - 1980 ACM DBLP
Documents on the same site (http://www.cs.cmu.edu/~crary/papers/): More
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (Correct)
Principles and a Preliminary Design for ML2000 - Group (1999) (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