{"entities":{"Q7361310":{"pageid":31519469,"ns":120,"title":"Item:Q7361310","lastrevid":105364808,"modified":"2026-10-07T13:35:30Z","type":"item","id":"Q7361310","labels":{"en":{"language":"en","value":"Probabilistic Noninterference"}},"descriptions":{"en":{"language":"en","value":"AFP entry Probabilistic_Noninterference"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58842e24768d0660621182eb11db900c60b16330","datavalue":{"value":"https://isa-afp.org/entries/Probabilistic_Noninterference.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361310$06827473-2ACC-4069-86C5-59DC535D9CF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbea39db51431eeef257c1e81d8127b8e4c94e30","datavalue":{"value":{"time":"+2014-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361310$8A68A9D8-60A0-410D-95B0-89286A8794BB","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f94288ed91377510811411084214ae1d548d5352","datavalue":{"value":"Andrei Popescu","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361310$AAB01D70-4194-4088-AF4B-7088E0DD3D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"01b202f25e5390ba0104cc409e25272c5fbddba4","datavalue":{"value":"Johannes H\u00f6lzl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361310$A012FCF8-D381-44AF-A814-6C76B6A3799A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0d065993bb5a37b2fa720c60ed8cd4e75f1c773","datavalue":{"value":{"text":"Probabilistic Noninterference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361310$D86BB76E-1CC6-4B86-8E90-F1C3BA50AB3A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e51dc301f0e407799dd0d3371bdd31a238d5fe5d","datavalue":{"value":"We formalize a probabilistic noninterference for a multi-threaded language with uniform scheduling, where probabilistic behaviour comes from both the scheduler and the individual threads. We define notions probabilistic noninterference in two variants: resumption-based and trace-based. For the resumption-based notions, we prove compositionality w.r.t. the language constructs and establish sound type-system-like syntactic criteria. This is a formalization of the mathematical development presented at CPP 2013 and CALCO 2013. It is the probabilistic variant of the Possibilistic Noninterference AFP entry.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361310$5A0E8D89-EF03-4248-98BE-58A62FC51F30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc73c48f7609293ab626375a7f33817fc3298a6","datavalue":{"value":{"entity-type":"item","numeric-id":2848952,"id":"Q2848952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361310$3DBBB812-2A67-4A15-B9A9-45EF9A1C87F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e210f1c7125a47cdccffe2dd09f5c241337587a","datavalue":{"value":{"entity-type":"item","numeric-id":2938053,"id":"Q2938053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361310$AB7A0070-155F-4705-A832-FAE86DD8C3B2","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":"Q7361310$BF993293-D17B-4ADB-9032-8A39BF07E49D","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9d73c02403c0af647a73b8da7299dbef78ebf0b","datavalue":{"value":{"entity-type":"item","numeric-id":7361764,"id":"Q7361764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361310$DFB967E7-3082-4991-963E-48C18DC4ACF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9e6039e46e916ba9199d9f5d4af3eeb86ec1ec5","datavalue":{"value":{"entity-type":"item","numeric-id":7361868,"id":"Q7361868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361310$20C621A2-47EB-41F9-9744-71C05AA69E46","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":"Q7361310$A9927DD6-5A13-48DD-A96E-20671C48FD23","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":"Q7361310$5794BBD9-C695-4C8B-906A-C37C0AAB03BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic Noninterference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_Noninterference"}}}}}