package flowcaml

  1. Overview
  2. Docs
Flow Caml is an extension of OCaml with a type system tracing information flow.

Install

Dune Dependency

Authors

Maintainers

Sources

flowcaml-1.07.tar.gz
sha256=517b5c5efd4a7dcdcb843842812d57f07c0b4f1e3672250e17fd3f9919f749f0
md5=c809344a078a8c866a80ebc532448655

Description

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.

Published: 21 Nov 2013

Dependencies (1)

  1. ocaml < "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.