HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

The Flow Caml System: Documentation and user's manual

Abstract : Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. Its purpose is basically to allow to write ``real'' programs and to automatically check that they obey some confidentiality or integrity policy. In Flow Caml, standard ML types are annotated with security levels chosen in a user-definable lattice. Each annotation gives an approximation of the information that the described expression may convey. Because it has full type inference, the system verifies, without requiring source code annotations, that every information flow caused by the analyzed program is legal with regard to the security policy specified by the programmer.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:28:23 PM
Last modification on : Friday, February 4, 2022 - 3:10:04 AM
Long-term archiving on: : Saturday, April 3, 2010 - 11:25:11 PM


  • HAL Id : inria-00069896, version 1



Vincent Simonet. The Flow Caml System: Documentation and user's manual. RT-0282, INRIA. 2003, pp.155. ⟨inria-00069896⟩



Record views


Files downloads