HomeIsabelle/Phabricator
Diffusion afp-devel 21a8b6695ecf

New entry IMP_Noninterference
21a8b6695ecf
Actions

Description

New entry IMP_Noninterference

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP98bd1363ea2a: sitegen for Sumcheck Protocol
Branches
Unknown
Tags
Unknown

Changes (12)

PathSize

rAFP21a8b6695ecf

View Options

thys/IMP_Noninterference/Correctness.thy

Loading...
View Options

thys/IMP_Noninterference/Definitions.thy

Loading...
View Options

thys/IMP_Noninterference/Degeneracy.thy

Loading...
View Options

thys/IMP_Noninterference/Idempotence.thy

Loading...
View Options

thys/IMP_Noninterference/Overapproximation.thy

Loading...
View Options

thys/IMP_Noninterference/ROOT

Loading...
View Options

thys/IMP_Noninterference/document/root.bib

Loading...
View Options

thys/IMP_Noninterference/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...