Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/co-dan/noninterference-coq

Formalisation of "Noninterference, Transitivity, and Channel-Control Security Policies" by J. Rushby
https://github.com/co-dan/noninterference-coq

coq noninterference

Last synced: 29 days ago
JSON representation

Formalisation of "Noninterference, Transitivity, and Channel-Control Security Policies" by J. Rushby

Awesome Lists containing this project

README

        

Formalisation of ["Noninterference, Transitivity, and Channel-Control Security Policies"](http://www.csl.sri.com/papers/csl-92-2/) by John Rushby.

Requires [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp).

The proofs are in `Rushby.v`.