Diffusion afp-devel 145cd3dec7a3

New entry: BD_Security_Compositional
145cd3dec7a3
Actions

Tags

None

Subscribers

None

Description

New entry: BD_Security_Compositional

Details

Provenance

Authored on

Parents

rAFP91b1c09c8f85: New entry: CoCon

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP145cd3dec7a3: New entry: BD_Security_Compositional.Aug 18 2021, 5:04 PM

Changes (24)

Path

Size

metadata/

BD_Security_Compositional

Composing_Security.thy

Composing_Security_Network.thy

Independent_Secrets.thy

Transporting_Security.thy

Trivial_Security.thy

CoCon/

BD_Security_Compositional.html

Bounded_Deducibility_Security.html

statistics.html

rAFP145cd3dec7a3

metadata/metadata

Loading...

thys/BD_Security_Compositional/Composing_Security.thy

Loading...

thys/BD_Security_Compositional/Composing_Security_Network.thy

Loading...

thys/BD_Security_Compositional/Independent_Secrets.thy

Loading...

thys/BD_Security_Compositional/LICENSE

Loading...

thys/BD_Security_Compositional/README.md

Loading...

thys/BD_Security_Compositional/ROOT

Loading...

thys/BD_Security_Compositional/Transporting_Security.thy

Loading...

thys/BD_Security_Compositional/Trivial_Security.thy

Loading...

thys/BD_Security_Compositional/document/root.bib

Loading...

thys/BD_Security_Compositional/document/root.tex

Loading...

thys/CoCon/ROOT

Loading...

thys/ROOTS

Loading...

web/entries/BD_Security_Compositional.html

Loading...

web/entries/Bounded_Deducibility_Security.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...