Flow Caml in a Nutshell (2003)

by Vincent Simonet , Inria Rocquencourt
Venue:Proceedings of the first APPSEM-II workshop
Citations:50 - 0 self

Documents Related by Co-Citation

449 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
221 Information flow inference for ML – Fran├žois Pottier, Vincent Simonet
721 Security policies and security models – J A Goguen, J Meseguer - 1982
414 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
211 Protecting privacy using the decentralized label model – Andrew C. Myers, Barbara Liskov - 2000
114 Jif: Java + information flow. Software release. Located at http://www.cs.cornell.edu/jif – A C MYERS, N NYSTROM, L ZHENG, S ZDANCEWIC - 2001
197 A Decentralized Model for Information Flow Control – Andrew C. Myers, Barbara Liskov - 1997
553 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
54 Run-time Principals in Information-flow Type Systems – Stephen Tse, Steve Zdancewic - 2004
77 Downgrading policies and relaxed noninterference – Peng Li, Steve Zdancewic - 2005
134 A type-based approach to pro-gram security – Dennis Volpano, Geoffrey Smith - 1997
68 Information Flow Inference For Free – Franois Pottier, Sylvain Conchon - 2000
420 Integrity Considerations for Secure Computer Systems – K J Biba - 1977
399 Certification of programs for secure information flow – D E Denning, P J Denning - 1977
400 Secure Computer Systems: Mathematical Foundations – D E Bell, L J LaPadula - 1973
72 Abstract non-interference: parameterizing noninterference by abstract interpretation – R Giacobazzi, I Mastroeni
69 Security policies for downgrading – S Chong, A C Myers - 2004
21 Jif: Java information flow – A C Myers, L Zheng, S Zdancewic, S Chong, N Nystrom