{"entities":{"Q7361795":{"pageid":31520924,"ns":120,"title":"Item:Q7361795","lastrevid":105369089,"modified":"2026-10-07T13:37:41Z","type":"item","id":"Q7361795","labels":{"en":{"language":"en","value":"CoCon: A Confidentiality-Verified Conference Management System"}},"descriptions":{"en":{"language":"en","value":"AFP entry CoCon"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb97a339a91fff37a8e68b00038e9d6964558ec4","datavalue":{"value":"https://isa-afp.org/entries/CoCon.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361795$77A95EFD-3A90-44F9-BF89-4053FB2F05CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"509f91048bfebeb2e3809071f1ccdd7172b43404","datavalue":{"value":{"time":"+2021-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361795$6668C1DE-8033-4BD8-8B7B-920D199BA413","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f94288ed91377510811411084214ae1d548d5352","datavalue":{"value":"Andrei Popescu","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361795$F2DA97BD-9385-4A02-9952-7C3B25CBCF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361795$D5D6F93E-3AC7-4FF2-8529-B9F8C36A4703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"8c7403eacb8a704e0835924c65f70230d72a3d00","datavalue":{"value":"Thomas Bauereiss","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361795$543E3476-84B1-456F-AB8C-A54B0553B780","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffcdaca269f4d64a1dbe6bd9c3342092c949b191","datavalue":{"value":{"text":"CoCon: A Confidentiality-Verified Conference Management System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361795$F50EE85E-CD38-41C2-A4A6-ABEAD18F4BDB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"486bd0b071a2b1770b5e702e5ddb8bdce87d2507","datavalue":{"value":"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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361795$BA319B2E-A42B-4E54-A00E-3ADFBC6AF42E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8897cef3b5dbaa7fee186b5a3285858895dd349","datavalue":{"value":{"entity-type":"item","numeric-id":6157243,"id":"Q6157243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361795$6DE410A8-0CDC-4B85-B3B1-4B5501B71DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814fc2ca443592f0bbb786f393ee75a2d3c0432f","datavalue":{"value":{"entity-type":"item","numeric-id":2031419,"id":"Q2031419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361795$E0DA4256-820D-49BA-9E95-01AF0061177D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797aea5e7f8eb1db1a44340ba3d2896f82724f9","datavalue":{"value":{"entity-type":"item","numeric-id":2829248,"id":"Q2829248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361795$B1ED11EB-E350-4AD7-ACFE-1B7E6077122B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a29c5b1c25eb83699c48c019aa48478fe275a45","datavalue":{"value":{"entity-type":"item","numeric-id":1663221,"id":"Q1663221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361795$A4D9C677-77E7-47C5-BB82-8B816EBB073E","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361795$EFF07D56-CA3E-445A-A1D0-F2BB49CA14BF","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"3a7131a3860b6c8c8f535818ec86e97f90162fd0","datavalue":{"value":{"entity-type":"item","numeric-id":7361744,"id":"Q7361744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361795$2F14C9D2-55AF-4BF3-A3BF-FE449D343C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c7a8f6bee75646b3f0253f9b38a1467a1e90950c","datavalue":{"value":{"entity-type":"item","numeric-id":7361712,"id":"Q7361712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361795$E1A66864-95A4-4206-9434-BB0DD8656A7E","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ed082e42011d2ebbcbf36c06241a36f1d357174f","datavalue":{"value":{"entity-type":"item","numeric-id":7360801,"id":"Q7360801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361795$14E01B19-7CA8-47CB-89E8-364AE555697A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361795$84EC5D7E-E237-4D90-8CEF-C380DBBF4826","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CoCon: A Confidentiality-Verified Conference Management System","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CoCon:_A_Confidentiality-Verified_Conference_Management_System"}}}}}