{"entities":{"Q7361744":{"pageid":31520771,"ns":120,"title":"Item:Q7361744","lastrevid":105368441,"modified":"2026-10-07T13:37:30Z","type":"item","id":"Q7361744","labels":{"en":{"language":"en","value":"Bounded-Deducibility Security"}},"descriptions":{"en":{"language":"en","value":"AFP entry Bounded_Deducibility_Security"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf0a4ccf88959d60388967fbecfd221da9e5b803","datavalue":{"value":"https://isa-afp.org/entries/Bounded_Deducibility_Security.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361744$E4CD539F-C6CA-4BEF-8740-9AEE8927F1C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37ca5b6f960befe27512e409bdd05ec80318454d","datavalue":{"value":{"time":"+2014-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361744$FCD72E59-C043-486B-9DE7-C8173336BCC0","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f94288ed91377510811411084214ae1d548d5352","datavalue":{"value":"Andrei Popescu","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361744$2B7BDD37-7B23-4A87-905C-D85D9421E416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361744$3ED37C47-1C94-4898-ABB5-0923DB6A218E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"8c7403eacb8a704e0835924c65f70230d72a3d00","datavalue":{"value":"Thomas Bauereiss","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361744$3E1EA6FE-5196-4F0D-9FE6-5B5CD3F8775C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20b86f5dc9015bd3ad7180380fec87735ec5004e","datavalue":{"value":{"text":"Bounded-Deducibility Security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361744$D854AD8E-0078-4E8A-B8E2-4BF6FD1132BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73a23037fc2095480bd9f2d749e7a26f032dac99","datavalue":{"value":"This is a formalization of bounded-deducibility security (BD security), a flexible notion of information-flow security applicable to arbitrary transition systems. It generalizes Sutherland's classic notion of nondeducibility by factoring in declassification bounds and trigger, whereas nondeducibility states that, in a system, information cannot flow between specified sources and sinks, BD security indicates upper bounds for the flow and triggers under which these upper bounds are no longer guaranteed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361744$26D50CD1-8EE6-4166-A6A4-D8A39526E865","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":"Q7361744$9AD7DD2F-36EF-424E-8E95-8DD106474ADB","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":"Q7361744$74BF9122-696F-4D93-BBEF-AAF8FD6901A4","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":"Q7361744$F0F5B2C5-40BC-4156-9378-1DEE7B545C53","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":"Q7361744$7DF3E534-ADE6-4894-80FD-E3AEF8EEF23A","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":"Q7361744$1E86B53F-8299-44A3-AE30-2BBB3B02947C","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":"Q7361744$7155CE45-CED6-44F0-9329-ECA8772C93E4","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":"Q7361744$DC1BFE37-A558-49A5-9B61-6AB8D0DBFC1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded-Deducibility Security","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded-Deducibility_Security"}}}}}