GitHub - aaronjeline/InfoFlow: Formal Model of an information flow secure language · GitHub

Name		Name	Last commit message	Last commit date
631_Report.pdf		631_Report.pdf
Imp.png		Imp.png
Imp.v		Imp.v
Makefile		Makefile
README.md		README.md
_CoqProject		_CoqProject
aevalR.png		aevalR.png
bevalR.png		bevalR.png
redex-model.rkt		redex-model.rkt

Repository files navigation

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

About

Formal Model of an information flow secure language

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages