{"entities":{"Q458746":{"pageid":460513,"ns":120,"title":"Item:Q458746","lastrevid":62018019,"modified":"2026-04-11T03:13:26Z","type":"item","id":"Q458746","labels":{"en":{"language":"en","value":"Synthesis of insertion functions for enforcement of opacity security properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6352297"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$8B724FAB-43DD-42F6-BAF2-1B5B1F8AD9A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e62b6bbbf4907ebcfbb808e03971289c2e7e0b2","datavalue":{"value":{"text":"Synthesis of insertion functions for enforcement of opacity security properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q458746$D2DDDFD5-B586-416C-A001-50054A081A01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cadf46f53e0741f6312e0e6412f460c85e5c9b71","datavalue":{"value":"1296.93114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458746$5FA01FE9-4AE4-4CA0-BC59-71A5857270B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f159d395bb57ce7aa1a4d72495f975fecb9c905c","datavalue":{"value":{"entity-type":"item","numeric-id":373012,"id":"Q373012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$96CD61DF-F45A-4E46-874C-72F3E9633104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$55D599F5-A7A1-4772-AFC3-8E153A53EA48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$0ED5DE0B-1631-4EBA-9591-5CEA4EDC36CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12cb4cbcb06dec7d30a0b9fcbe1aba0bc22ca396","datavalue":{"value":{"time":"+2014-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q458746$A65F22C9-86C9-454B-98C2-BE3A7061C1D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458746$93D7C712-CC11-4E2A-ACDC-BC65D6032FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458746$FBE8F52E-167F-447C-A1AA-6B41EBB56535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458746$DC393236-0464-45A4-A704-81375D9B473A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5752404a6f27f09dcf9a3203720fa9937e3652a","datavalue":{"value":"6352297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458746$DC2CA925-6AD2-4FB5-96E9-5E9D3E388C64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q458746$D6412D5F-BD1A-49AC-8139-0040272DB625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q458746$0E75C6D4-46A6-40FC-AE5D-4BED1A91E310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a4ea1e86132e35520b0d51d45216a751b2fee6","datavalue":{"value":"confidence","type":"string"},"datatype":"string"},"type":"statement","id":"Q458746$E05A9B28-126E-4586-AD43-1B65B7D0AAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084d422b2355bcd4baecd68e21246e987c8a427d","datavalue":{"value":"finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q458746$E5988819-F332-4542-A44D-992B3A4ED3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dcf965957d50c3bb6e26e4b99e3241808feba35","datavalue":{"value":"non-secret behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q458746$0F6D5156-709B-41D4-B2F0-B36F68300FFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$12759D87-B22C-421C-9B7F-D9E0B9E744AE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$D9D8E773-323D-40D3-9658-7A99F1C07160","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7983c4718cf8138cf74081f9a408f22b1d1fb3db","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2014.02.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q458746$5EE7CE25-CE31-4B3B-B831-20D1BB75A991","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86956c67a9ac7d9c2d4e3bf71eab81e4af60a21c","datavalue":{"value":"W2040603575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458746$B9A8EC9F-BD77-4206-87BB-F5EE8EA8EE51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3144c21aee027b0152949b00d613ce7fe7c8c7","datavalue":{"value":{"entity-type":"item","numeric-id":2849576,"id":"Q2849576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$40B66CA6-9F30-4F67-A69B-35A54F1A4B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$C76054EB-CE6F-4AD4-A50D-B9647442A83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0667116075fbbce5ae792b2ea8e22750d9386d","datavalue":{"value":{"entity-type":"item","numeric-id":453510,"id":"Q453510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$6AE580FE-BF57-403E-9356-4FC06C0AE764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca44b0a111807ea5cb89a634874b6cc657f7ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":4978803,"id":"Q4978803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$5F0FF496-A1EB-4D1B-9B22-4F430DA9F743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6ee2c953fa20021820c476cb39923c8f0c59c6","datavalue":{"value":{"entity-type":"item","numeric-id":896497,"id":"Q896497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$3A508185-2355-4024-AB0F-E52DA163E246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6359ec5babc71e62b711dc2882625376d761e84f","datavalue":{"value":{"entity-type":"item","numeric-id":4840936,"id":"Q4840936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$9C2051A5-861E-412A-AEF3-CF785B77D265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6637e92771b4610d69f5a704a677d05d421c20ce","datavalue":{"value":{"entity-type":"item","numeric-id":716123,"id":"Q716123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$458F9155-CF47-4971-A3A9-FC55B08523D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$9795D615-2064-4C36-8BDD-990506FC363B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66cf3f5f65fa396150559aaee39ac2fa12cec47","datavalue":{"value":{"entity-type":"item","numeric-id":5352804,"id":"Q5352804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$2ACE9A05-9D68-45A2-839A-3C15C67E60E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64c92fedabc88b70cdf8f87988d63e7b658d5e3","datavalue":{"value":{"entity-type":"item","numeric-id":373013,"id":"Q373013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458746$5C948C86-0349-4A03-B78D-72E4D8290939","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32a671c9e8f806b7aa1ee0f0206adf2545f117fe","datavalue":{"value":"10.1016/J.AUTOMATICA.2014.02.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458746$EB0A8675-861E-428F-8547-F17442773F26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4662eac13da0b73b53c36dcd47f9c0836c9583c","datavalue":{"value":{"entity-type":"item","numeric-id":2980627,"id":"Q2980627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8376c727b847ee8ba3930d01f0724425f2f28f23","datavalue":{"value":{"amount":"+0.91504025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q458746$899DB74B-019F-40DB-929C-D6C976FB6B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f84bb98ca0517a0178d9d8065111a052ad5ed02","datavalue":{"value":{"entity-type":"item","numeric-id":1797032,"id":"Q1797032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3e83308eda14371710d48331998e247843d7ca","datavalue":{"value":{"amount":"+0.8896147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q458746$88DFFC20-1146-4404-9DE9-79F45B5E865C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6ef16ae82849e90012ee9b5eff96e2d3e085e2","datavalue":{"value":{"entity-type":"item","numeric-id":4957708,"id":"Q4957708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a78610489bc7f699bd6a2566a5be2a7dd6dded","datavalue":{"value":{"amount":"+0.8721578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q458746$43A6B44F-5D84-4C9E-B27B-16A738F0FFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1b854b79647ab9df669f8f8f14c94f34c5b7a3","datavalue":{"value":{"entity-type":"item","numeric-id":6052714,"id":"Q6052714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938a89f44b98047fc9a713d84c33961fed65be17","datavalue":{"value":{"amount":"+0.86916065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q458746$4040EFF1-02AF-4CA8-85C4-11CA8D2D21E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7168b451043fb53cbab17affe0e65cd535653c","datavalue":{"value":{"entity-type":"item","numeric-id":5211196,"id":"Q5211196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9790ace57a1c485ee57d9fbebb2d9b9b46da9244","datavalue":{"value":{"amount":"+0.8547922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q458746$F35F47C8-E094-4C3F-B404-1005CD028CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c749b9c40117c644432aeac99d3e06a683dd14a","datavalue":{"value":{"entity-type":"item","numeric-id":6047065,"id":"Q6047065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fc2f5134cb9f117a07bd3610ada115be9123f4","datavalue":{"value":{"amount":"+0.8475119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q458746$71BA0B3D-59FE-40B2-8FD6-1233E2CF1859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a56af80a892185c8ea3446935797e0277848cbc","datavalue":{"value":{"entity-type":"item","numeric-id":682359,"id":"Q682359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438e5ad3d419f83273437d8b1cf537734478ef9a","datavalue":{"value":{"amount":"+0.84385884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q458746$7187BFC8-7F5E-4760-BAA0-11F4FCDA28C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a8550962088c6f92850699f9e8ddaad9be35f3","datavalue":{"value":{"entity-type":"item","numeric-id":826781,"id":"Q826781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761d16b948cbcce4bf65fc226fa12c9132ac8222","datavalue":{"value":{"amount":"+0.8362947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q458746$8A14DD6C-4706-468F-B2EF-828BA34CED40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f567ede720fe217080e7f7af0bf3afa60ed081","datavalue":{"value":{"entity-type":"item","numeric-id":5125761,"id":"Q5125761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f888df18562af02be6fca4b831e80b1fa0d047","datavalue":{"value":{"amount":"+0.8298194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q458746$548BA89A-A967-4031-9483-1D0D5FA7644C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of insertion functions for enforcement of opacity security properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_insertion_functions_for_enforcement_of_opacity_security_properties"}}}}}