{"entities":{"Q870127":{"pageid":871975,"ns":120,"title":"Item:Q870127","lastrevid":64969131,"modified":"2026-04-11T23:26:32Z","type":"item","id":"Q870127","labels":{"en":{"language":"en","value":"Sheaf tools for computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132891"}},"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":"Q870127$111BDD4D-B6FB-41AE-829F-A156DE5AF703","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c954044b5aafbecff53300ee98dca761922d113","datavalue":{"value":{"text":"Sheaf tools for computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q870127$343C6725-72CC-4184-8A6F-CC742E0BDAAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20d40401259fe9f2536aac6c6a46b7143aeb2222","datavalue":{"value":"1130.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$CC507CB5-8FD6-4BB7-858A-B6C87BB99BED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dcbd02b70154f523ce5c93683ddaae4a345fee2","datavalue":{"value":{"entity-type":"item","numeric-id":870126,"id":"Q870126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870127$687BEDD2-5A5A-4FDC-90A6-4E9EE8A8DDE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870127$8F28AE88-9EBD-42AC-92CE-6774A4EEC127","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39eed756ef4774638f5dc70a5b404d4f34900328","datavalue":{"value":{"time":"+2007-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q870127$5AEF7642-12D3-4D16-B5BE-710B28D56E8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a343947d317045814eecf28355c9054bb7f6b02f","datavalue":{"value":"The paper presents first how we can compute sheaf tools for accomplishing our goal, i.e., an authentication method by sheaves. The authors use the most general notion of a sheaf, as a functor on a site, which is a category equipped with a Grothendieck topology. Moreover, they have introduced a notion in sheaf theory, family for matching, in order to simplify the sheaf definition in a computation class of sites called well structured sites. This has given them the possibility to construct an optimal validation algorithm of sheaves. Also, they present an algorithm to generate sheaves. By handling the concepts of Goguen, the behaviour of a system is computed in the internal language of a (pre)sheaf topos. Non-interference by Goguen is also computed in the internal language of a presheaf topos by using predicates.   Consequently, this paper provides computation tools for authentication and for non-interference control. In particular, the authors see that all computation tools are building from the base category that is provided by the architecture of distributed computing systems. It remains for them to try these out. Only, a software built in accordance with the ideas of this paper can provide real examples. The authors plan to implement this in the future.","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$FD8DB280-AE2B-4698-81F6-38E15491BEE2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"232ae34814b4b71b0029b464d3a410fd8e408f36","datavalue":{"value":{"entity-type":"item","numeric-id":703527,"id":"Q703527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870127$447D6EFA-F8D7-46A4-A0FE-AB96DD6C0F21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$84D2961D-C16E-4D85-8D38-2816650D3E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32aa222f852df3f290ecea7c464ed5857992bf22","datavalue":{"value":"18A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$3906D2BC-C26A-4C8F-9B40-0B1D0AC771CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$F26D1089-BE5B-4821-ABE9-D63FE542EDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$B9E05D58-F15D-43DD-8A35-A83A310DD833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$3A8CDD4F-5CAC-44E7-B057-4D1F8FD63544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$68B954FD-8565-45EC-AB54-0DF0CDA7C49A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af65f53829cdb05d4f686b196b50f05cd0b4d073","datavalue":{"value":"5132891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$C1613DA2-EE05-4845-AC80-F91AC10B4C8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$D666BF0F-D34B-4B12-AF3B-BE4D82BF97CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$CF5D350E-5CD7-4F06-B1CB-3AE65618141C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d611e9c4f91063c6ca694f4a9f4d3844d5c167c","datavalue":{"value":"presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$C64D4D1B-DBDD-4B51-BADB-2FDBEEC179F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00075e70fefb39c8e41b1837f36b10877f376c24","datavalue":{"value":"sieves","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$7E2666BF-9F4E-4192-8DD5-5AA3A43FDA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452933146dd77cb67f9b343dd48957455772357e","datavalue":{"value":"site","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$A5F14F52-F052-4A07-8BD3-94A7BA98A2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$975EB206-31EF-4E2E-A1A1-9DBA7DE1AC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259e3723420636b9ca4617f1ce71530c7ec07732","datavalue":{"value":"well structured site","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$1A692C70-E98A-4A6B-974A-87A2A01FF64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$47556E71-C8D7-4391-96F2-81BB7BF59AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q870127$3A4F27B6-9214-4333-9007-A211B824B6E4","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":"Q870127$6EA852BB-C78A-415D-9052-E28ABC4E5782","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"740a934b2d93a671c0541ff45df908709c40f360","datavalue":{"value":"https://doi.org/10.1016/j.amc.2005.12.069","type":"string"},"datatype":"url"},"type":"statement","id":"Q870127$E51B287B-2F45-42F0-9C3D-F760080F71A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20dad083bd05c045f2bc0409082033f22aaa097d","datavalue":{"value":"W2075993739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$6ADF25AF-BA02-410C-BCE0-F05C74DFF88C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf65c22bfb8a5399142873d9e1ac0cd7f9ef33c","datavalue":{"value":{"entity-type":"item","numeric-id":4017459,"id":"Q4017459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870127$42B51CFA-E2C4-4095-92E4-B171F9080070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870127$5ADD14F6-C459-4BB7-BD48-B23EA9FF73C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870127$7BD70F44-03CC-49A5-A377-CC11DF0E3F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf000c0354ad590603098594140254003048b52c","datavalue":{"value":{"entity-type":"item","numeric-id":5936011,"id":"Q5936011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870127$C8D9C41D-0C3F-4BA7-8A38-DB316CAEB679","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"deb08a2b8a7595906a7fbc7d782d2ee9d072b998","datavalue":{"value":"10.1016/J.AMC.2005.12.069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870127$63C0EACF-3417-4652-9768-54E36697771D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081c9ec45ba78f8e0848a9b8436f5fd5659000c5","datavalue":{"value":{"entity-type":"item","numeric-id":3416403,"id":"Q3416403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bc8068b36f46a55abe09085b89599cfb80d3fa","datavalue":{"value":{"amount":"+0.8776628375053406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q870127$ADFEAC08-6A1E-4705-814C-9D0F49CC2856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d4a034beb72b36b6d33e3a545ba807951a91fc","datavalue":{"value":{"entity-type":"item","numeric-id":4017459,"id":"Q4017459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df315b9a291f0aaffcda87417e2512dd3f57d60","datavalue":{"value":{"amount":"+0.7115080952644348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q870127$547EE5E6-0B14-4997-B5C9-74941CC32AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6385bc409e31c89a31fc4c1a44a10be95e33d4","datavalue":{"value":{"entity-type":"item","numeric-id":5757923,"id":"Q5757923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df315b9a291f0aaffcda87417e2512dd3f57d60","datavalue":{"value":{"amount":"+0.7115080952644348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q870127$49712E75-AFB7-4325-90F4-7A43B46BA584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ce9e8ef7f467b5dc32733641c038cfb0a92897","datavalue":{"value":{"entity-type":"item","numeric-id":2366397,"id":"Q2366397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4db77e696075b925e35c446ed534c5b8ba95852","datavalue":{"value":{"amount":"+0.6955145001411438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q870127$D089813E-BF21-4383-91F8-A56161E92F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c09603727ea4e738dad55f1c4c217d0a706607","datavalue":{"value":{"entity-type":"item","numeric-id":735420,"id":"Q735420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4db77e696075b925e35c446ed534c5b8ba95852","datavalue":{"value":{"amount":"+0.6955145001411438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q870127$431273BE-C03D-4C4F-BBEE-251CB057AECE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sheaf tools for computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sheaf_tools_for_computation"}}}}}