Diffusion afp-devel 91b1c09c8f85

New entry: CoCon
91b1c09c8f85
Actions

Tags

None

Subscribers

None

Description

New entry: CoCon

Details

Provenance

Authored on

Parents

rAFP1e5afc21efae: updated to devel

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP91b1c09c8f85: New entry: CoCon.Aug 18 2021, 4:19 PM

Changes (84)

Path

Size

metadata/

All_BD_Security_Instances_for_CoCon.thy

Automation_Setup.thy

Decision_Confidentiality

Decision_All.thy

Decision_Intro.thy

Decision_NCPC.thy

Decision_NCPC_Aut.thy

Decision_Value_Setup.thy

Decision_Value_Setup2.thy

Discussion_Confidentiality

Discussion_All.thy

Discussion_Intro.thy

Discussion_NCPC.thy

Discussion_Value_Setup.thy

Observation_Setup.thy

Paper_Confidentiality

Paper_Aut_PC.thy

Paper_Intro.thy

Paper_Value_Setup.thy

Review_Confidentiality

Review_Intro.thy

Review_RAut.thy

Review_RAut_NCPC.thy

Review_RAut_NCPC_PAut.thy

Review_Value_Setup.thy

Reviewer_Assignment_Confidentiality

Reviewer_Assignment_All.thy

Reviewer_Assignment_Intro.thy

Reviewer_Assignment_NCPC.thy

Reviewer_Assignment_NCPC_Aut.thy

Reviewer_Assignment_Value_Setup.thy

Safety_Properties.thy

System_Specification.thy

Traceback_Properties.thy

AI_Planning_Languages_Semantics.html

Automatic_Refinement.html

Binomial-Heaps.html

Bounded_Deducibility_Security.html

CAVA_Automata.html

CAVA_LTL_Modelchecker.html

Collections.html

DFS_Framework.html

Dijkstra_Shortest_Path.html

EdmondsKarp_Maxflow.html

Finger-Trees.html

Flow_Networks.html

Floyd_Warshall.html

Fresh_Identifiers.html

Knuth_Morris_Pratt.html

LTL_to_GBA.html

Prim_Dijkstra_Simple.html

Priority_Search_Trees.html

Program-Conflict-Analysis.html

Prpu_Maxflow.html

Refine_Imperative_HOL.html

Refine_Monadic.html

Separation_Logic_Imperative_HOL.html

Tree-Automata.html

VerifyThis2018.html

VerifyThis2019.html

statistics.html

rAFP91b1c09c8f85

metadata/metadata

Loading...

thys/CoCon/All_BD_Security_Instances_for_CoCon.thy

Loading...

thys/CoCon/Automation_Setup.thy

Loading...

thys/CoCon/Decision_Confidentiality/Decision_All.thy

Loading...

thys/CoCon/Decision_Confidentiality/Decision_Intro.thy

Loading...

thys/CoCon/Decision_Confidentiality/Decision_NCPC.thy

Loading...

thys/CoCon/Decision_Confidentiality/Decision_NCPC_Aut.thy

Loading...

thys/CoCon/Decision_Confidentiality/Decision_Value_Setup.thy

Loading...

thys/CoCon/Decision_Confidentiality/Decision_Value_Setup2.thy

Loading...

thys/CoCon/Discussion_Confidentiality/Discussion_All.thy

Loading...

thys/CoCon/Discussion_Confidentiality/Discussion_Intro.thy

Loading...

thys/CoCon/Discussion_Confidentiality/Discussion_NCPC.thy

Loading...

thys/CoCon/Discussion_Confidentiality/Discussion_Value_Setup.thy

Loading...

thys/CoCon/Observation_Setup.thy

Loading...

thys/CoCon/Paper_Confidentiality/Paper_All.thy

Loading...

thys/CoCon/Paper_Confidentiality/Paper_Aut.thy

Loading...

thys/CoCon/Paper_Confidentiality/Paper_Aut_PC.thy

Loading...

thys/CoCon/Paper_Confidentiality/Paper_Intro.thy

Loading...

thys/CoCon/Paper_Confidentiality/Paper_Value_Setup.thy

Loading...

thys/CoCon/Prelim.thy

Loading...

thys/CoCon/ROOT

Loading...

thys/CoCon/Review_Confidentiality/Review_All.thy

Loading...

thys/CoCon/Review_Confidentiality/Review_Intro.thy

Loading...

thys/CoCon/Review_Confidentiality/Review_RAut.thy

Loading...

thys/CoCon/Review_Confidentiality/Review_RAut_NCPC.thy

Loading...

thys/CoCon/Review_Confidentiality/Review_RAut_NCPC_PAut.thy

Loading...

thys/CoCon/Review_Confidentiality/Review_Value_Setup.thy

Loading...

thys/CoCon/Reviewer_Assignment_Confidentiality/Reviewer_Assignment_All.thy

Loading...

thys/CoCon/Reviewer_Assignment_Confidentiality/Reviewer_Assignment_Intro.thy

Loading...

thys/CoCon/Reviewer_Assignment_Confidentiality/Reviewer_Assignment_NCPC.thy

Loading...

thys/CoCon/Reviewer_Assignment_Confidentiality/Reviewer_Assignment_NCPC_Aut.thy

Loading...

thys/CoCon/Reviewer_Assignment_Confidentiality/Reviewer_Assignment_Value_Setup.thy

Loading...

thys/CoCon/Safety_Properties.thy

Loading...

thys/CoCon/System_Specification.thy

Loading...

thys/CoCon/Traceback_Properties.thy

Loading...

thys/CoCon/document/root.bib

Loading...

thys/CoCon/document/root.tex

Loading...

thys/ROOTS

Loading...

web/entries/AI_Planning_Languages_Semantics.html

Loading...

web/entries/Automatic_Refinement.html

Loading...

web/entries/Binomial-Heaps.html

Loading...

web/entries/Bounded_Deducibility_Security.html

Loading...

web/entries/CAVA_Automata.html

Loading...

web/entries/CAVA_LTL_Modelchecker.html

Loading...

web/entries/CoCon.html

Loading...

web/entries/Collections.html

Loading...

web/entries/DFS_Framework.html

Loading...

web/entries/Dijkstra_Shortest_Path.html

Loading...

web/entries/EdmondsKarp_Maxflow.html

Loading...

web/entries/Finger-Trees.html

Loading...

web/entries/Flow_Networks.html

Loading...

web/entries/Floyd_Warshall.html

Loading...

web/entries/Fresh_Identifiers.html

Loading...

web/entries/Gabow_SCC.html

Loading...

web/entries/HyperCTL.html

Loading...

web/entries/IMP2.html

Loading...

web/entries/Knuth_Morris_Pratt.html

Loading...

web/entries/Kruskal.html

Loading...

web/entries/LTL_to_GBA.html

Loading...

web/entries/Prim_Dijkstra_Simple.html

Loading...

web/entries/Priority_Search_Trees.html

Loading...

web/entries/Program-Conflict-Analysis.html

Loading...

web/entries/Prpu_Maxflow.html

Loading...

web/entries/ROBDD.html

Loading...

web/entries/Refine_Imperative_HOL.html

Loading...

web/entries/Refine_Monadic.html

Loading...

web/entries/Separation_Logic_Imperative_HOL.html

Loading...

web/entries/Tree-Automata.html

Loading...

web/entries/VerifyThis2018.html

Loading...

web/entries/VerifyThis2019.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...