Achieving information flow security through monadic control of effects (2009)

by William L. Harrison , James Hook
Venue:JOURNAL OF COMPUTER SECURITY
Citations:6 - 5 self

Documents Related by Co-Citation

718 Security policies and security models – J A Goguen, J Meseguer - 1982
7 The Essence of Multitasking – William L. Harrison - 2006
730 Notions of Computation and Monads – Eugenio Moggi - 1991
221 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
163 An abstract view of programming languages – E Moggi - 1989
28 Modular Monadic Semantics and Compilation – Sheng Liang - 1998
11 A Resumption Monad Transformer and its Applications in the Semantics of Concurrency – Nikolaos S. Papaspyrou - 2001
27 A monadic analysis of information flow security with mutable state – Karl Crary, Aleksey Kliger, Frank Pfenning - 2003
204 Information flow: the logic of distributed systems – Jon Barwise, Jerry Seligman - 1997
29 Challenges for information-flow security – Steve Zdancewic - 2004
3 Partially-ordered modalities – Dr. Gerard Allwein, Dr. William, L. Harrison
25 Secure microkernels, state monads and scalable refinement – David Cock, Gerwin Klein, Thomas Sewell - 2008
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
466 Interactive Theorem Proving and Program Development, Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series – Yves Bertot, Pierre Castéran - 2004
24 Proof of separability: A verification technique for a class of security kernels – John M Rushby - 1982
2 A Simple Semantics for Polymorphic Recursion – William L. Harrison - 2005
2 Making monads first-class with Template Haskell – P Kariotis, A Procter, W Harrison
2 Domain-specific language for hw/sw co-design for FPGAs – J Agron - 2009