MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A monadic analysis of information flow security with mutable state." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A monadic analysis of information flow security with mutable state
by Karl Crary, Aleksey Kliger, Frank Pfenning — 2003 — Journal of Functional Programming
…A Monadic Analysis of Information Flow Security with Mutable State Karl Crary ∗ Aleksey Kliger…
Cited by 13 (1 self) – Add To MetaCart

of Information Flow Security with Mutable State
by Karl Crary Aleksey, Karl Crary, Frank Pfenning
…-order, security-typed languages with mutable state. Our analysis is based on a logic of information flow derived…
Add To MetaCart

JFP 15 (2): 249--291, 2005. c
by Cambridge University Press, Karl Crary, Aleksey Kliger, Frank Pfenning — 2005
… Printed in the United Kingdom A monadic analysis of information flow security with mutable state KARL…
Add To MetaCart

Andrei Sabelfeld (Editor)
by Andrei Sabelfeld (editor, Turku Centre Computer, Computer Science, Andrei Sabelfeld, Francisco Martins, António Ravara — 2004
… Phan Minh Dung and Phan Minh Thang Language-Based Security I A Monadic Analysis of Information Flow…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB