Abstract
This entry contains the confidentiality verification of the
(functional kernel of) the CoCon conference management system [1,
2].
The confidentiality properties refer to the documents managed by the
system, namely papers, reviews, discussion logs and
acceptance/rejection decisions, and also to the assignment of
reviewers to papers. They have all been formulated as instances of BD
Security [3,
4]
and verified using the BD Security unwinding technique.
BSD LicenseDepends On
Topics
Related Entries
Theories
- Prelim
- System_Specification
- Automation_Setup
- Safety_Properties
- Observation_Setup
- Paper_Intro
- Paper_Value_Setup
- Paper_Aut_PC
- Paper_Aut
- Paper_All
- Review_Intro
- Review_Value_Setup
- Review_RAut
- Review_RAut_NCPC
- Review_RAut_NCPC_PAut
- Review_All
- Discussion_Intro
- Discussion_Value_Setup
- Discussion_NCPC
- Discussion_All
- Decision_Intro
- Decision_Value_Setup
- Decision_NCPC
- Decision_NCPC_Aut
- Decision_All
- Reviewer_Assignment_Intro
- Reviewer_Assignment_Value_Setup
- Reviewer_Assignment_NCPC
- Reviewer_Assignment_NCPC_Aut
- Reviewer_Assignment_All
- Traceback_Properties
- All_BD_Security_Instances_for_CoCon