Diffusion afp-devel e6b510d24af4

New entry CoSMed
e6b510d24af4
Actions

Tags

None

Subscribers

None

Description

New entry CoSMed

Details

Provenance

Authored on

Parents

rAFP145cd3dec7a3: New entry: BD_Security_Compositional

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPe6b510d24af4: New entry CoSMed.Aug 18 2021, 5:41 PM

Changes (40)

Path

Size

metadata/

Automation_Setup.thy

Friend_Confidentiality

Friend_Intro.thy

Friend_Value_Setup.thy

Friend_Request_Confidentiality

Friend_Request.thy

Friend_Request_Intro.thy

Friend_Request_Value_Setup.thy

Observation_Setup.thy

Post_Confidentiality

Post_Value_Setup.thy

Safety_Properties.thy

System_Specification.thy

Traceback_Properties

Friend_Traceback.thy

Post_Visibility_Traceback.thy

Traceback_Intro.thy

BD_Security_Compositional.html

Bounded_Deducibility_Security.html

Fresh_Identifiers.html

statistics.html

rAFPe6b510d24af4

metadata/metadata

Loading...

thys/CoSMed/Automation_Setup.thy

Loading...

thys/CoSMed/Friend_Confidentiality/Friend.thy

Loading...

thys/CoSMed/Friend_Confidentiality/Friend_Intro.thy

Loading...

thys/CoSMed/Friend_Confidentiality/Friend_Value_Setup.thy

Loading...

thys/CoSMed/Friend_Request_Confidentiality/Friend_Request.thy

Loading...

thys/CoSMed/Friend_Request_Confidentiality/Friend_Request_Intro.thy

Loading...

thys/CoSMed/Friend_Request_Confidentiality/Friend_Request_Value_Setup.thy

Loading...

thys/CoSMed/Observation_Setup.thy

Loading...

thys/CoSMed/Post_Confidentiality/Post.thy

Loading...

thys/CoSMed/Post_Confidentiality/Post_Intro.thy

Loading...

thys/CoSMed/Post_Confidentiality/Post_Value_Setup.thy

Loading...

thys/CoSMed/Prelim.thy

Loading...

thys/CoSMed/ROOT

Loading...

thys/CoSMed/Safety_Properties.thy

Loading...

thys/CoSMed/System_Specification.thy

Loading...

thys/CoSMed/Traceback_Properties/Friend_Traceback.thy

Loading...

thys/CoSMed/Traceback_Properties/Post_Visibility_Traceback.thy

Loading...

thys/CoSMed/Traceback_Properties/Traceback_Intro.thy

Loading...

thys/CoSMed/document/root.bib

Loading...

thys/CoSMed/document/root.tex

Loading...

thys/ROOTS

Loading...

web/entries/BD_Security_Compositional.html

Loading...

web/entries/Bounded_Deducibility_Security.html

Loading...

web/entries/CoCon.html

Loading...

web/entries/CoSMed.html

Loading...

web/entries/Fresh_Identifiers.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...