aaronjeline/InfoFlow

Formal Model of an information flow secure language

• A Simple Language With Dynamic Information Flwo Control

This repository implements a language with a simple dynamic info-flow control method. The lattice is just public and secret