{"entities":{"Q7361367":{"pageid":31519640,"ns":120,"title":"Item:Q7361367","lastrevid":105365180,"modified":"2026-10-07T13:35:44Z","type":"item","id":"Q7361367","labels":{"en":{"language":"en","value":"Constructive Cryptography in HOL: the Communication Modeling Aspect"}},"descriptions":{"en":{"language":"en","value":"AFP entry Constructive_Cryptography_CM"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d2ec57a4364a4dccd87ee1d95f2c44b8b90f6b4","datavalue":{"value":"https://isa-afp.org/entries/Constructive_Cryptography_CM.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361367$5C2C6147-71B9-4334-B9B7-9E4F1746A367","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c44e9e40e16b91f474187fb226cbd1d827ea50c7","datavalue":{"value":{"time":"+2021-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361367$E8DC8EEC-4D16-4308-A3A0-75163BED992D","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361367$8198CAD0-7ED3-40A1-AC63-6F30667E8DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bd7c6c31d61f45a261be518c8f677cec7b19e4de","datavalue":{"value":"S. Reza Sefidgar","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361367$C3DE4284-8443-4B8B-9669-9AA6D2622038","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f580a44819bfbf154a605223c28803af07b04237","datavalue":{"value":{"text":"Constructive Cryptography in HOL: the Communication Modeling Aspect","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361367$7F7E6E2C-778C-4048-A4BF-B672BF307D91","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2344dbc206e8967e3b03afd841d8400143fc6811","datavalue":{"value":"Constructive Cryptography (CC) [ ICS 2011 , TOSCA 2011 , TCC 2016 ] introduces an abstract approach to composable security statements that allows one to focus on a particular aspect of security proofs at a time. Instead of proving the properties of concrete systems, CC studies system classes, i.e., the shared behavior of similar systems, and their transformations. Modeling of systems communication plays a crucial role in composability and reusability of security statements; yet, this aspect has not been studied in any of the existing CC results. We extend our previous CC formalization [ Constructive_Cryptography , CSF 2019 ] with a new semantic domain called Fused Resource Templates (FRT) that abstracts over the systems communication patterns in CC proofs. This widens the scope of cryptography proof formalizations in the CryptHOL library [ CryptHOL , ESOP 2016 , J Cryptol 2020 ]. This formalization is described in Abstract Modeling of Systems Communication in Constructive Cryptography using CryptHOL .","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361367$79692D8B-9931-48B9-B87C-0EB0D8D7BA4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e92a532cf8cd351ed27256cc105fcf6d9ff5757","datavalue":{"value":{"entity-type":"item","numeric-id":2175214,"id":"Q2175214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361367$CAC8BDC3-F88B-4786-ADF8-DCA8EC39FDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a334f4e96bc67eac9a5d7b987fa6f5d79a92b99","datavalue":{"value":{"entity-type":"item","numeric-id":2802495,"id":"Q2802495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361367$DF966BAC-C360-4B31-BDF5-841B16695848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efd2748f4b43f93f6c9f8888e0c86fd46d6453f","datavalue":{"value":{"entity-type":"item","numeric-id":2902914,"id":"Q2902914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361367$0FC652FD-9067-4635-ADE3-C58D02E8EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a18a46233e0e3dee0556474a180f2ae08e6b396","datavalue":{"value":{"entity-type":"item","numeric-id":3179350,"id":"Q3179350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361367$D9F65F9F-7F27-4513-AF3B-8D90B2736732","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":"Q7361367$E4249F2E-828F-446F-9F9F-F6E08876BEC9","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"217877910915fbcb2c041b8b8d27c75db7f2e65a","datavalue":{"value":{"entity-type":"item","numeric-id":7361862,"id":"Q7361862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361367$896D6428-CDD4-4FD2-B90A-41BD421221CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"066dfee37e8f297a5da5f2e3daab884db374195f","datavalue":{"value":{"entity-type":"item","numeric-id":7361695,"id":"Q7361695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361367$8E891F39-B8D0-4E87-8D97-81C15EAA7653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"35bcbc11393c8521c21586b1d7ef833572fd3b6d","datavalue":{"value":{"entity-type":"item","numeric-id":7361520,"id":"Q7361520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361367$E449BC09-4190-4978-808A-C6F344822AB4","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"67cfe7e765f8f36de5d26ce854526f3fec39cd26","datavalue":{"value":{"entity-type":"item","numeric-id":7360802,"id":"Q7360802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361367$89E29C48-71CD-45CF-8962-0D887C23C3A6","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":"Q7361367$FC61447D-0250-40D1-B871-F55C4CC20061","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive Cryptography in HOL: the Communication Modeling Aspect","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_Cryptography_in_HOL:_the_Communication_Modeling_Aspect"}}}}}