README

**************************************************************************
*                                                                        *
*                               Flow Caml                                *
*                                                                        *
*          Vincent Simonet, Projet Cristal, INRIA Rocquencourt           *
*                                                                        *
*  Author contact: Vincent.Simonet@vtst.net                              *
*  Software page: http://www.normalesup.org/~simonet/soft/flowcaml/      *
**************************************************************************

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 suitable
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.

Technically speaking, Flow Caml is also one of the first real-size
implementation of a programming language equipped with a type system
which features simultaneously subtyping, ML polymorphism and full type
inference.



COPYRIGHT:

All files marked "Copyright INRIA" in this distribution are copyright
2002, 2003 Institut National de Recherche en Informatique et en
Automatique (INRIA) and distributed under the conditions stated in
file LICENSE.



INSTALL:

See the file src-flowcaml/INSTALL for installation instructions on
Unix machines.



DOCUMENTATION AND OTHER INFORMATION:

The Flow Caml documentation is distributed in HTML, PDF and
PostScript.  It can be obtained at the following address:

   http://cristal.inria.fr/~simonet/soft/flowcaml/manual/

Further information about Flow Caml can be found on the page

   http://www.normalesup.org/~simonet/soft/flowcaml/



BUG REPORTS AND USER FEEDBACK:

Feel free to send your questions and remark to the implementor of the
system: Vincent.Simonet@vtst.net