CoCon: A Confidentiality-Verified Conference Management System (Q7361795)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry CoCon
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | CoCon: A Confidentiality-Verified Conference Management System |
AFP entry CoCon |
Statements
16 August 2021
0 references
Andrei Popescu
0 references
Peter Lammich
0 references
Thomas Bauereiss
0 references
CoCon: A Confidentiality-Verified Conference Management System (English)
0 references
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.
0 references
