{"entities":{"Q40515":{"pageid":40571,"ns":120,"title":"Item:Q40515","lastrevid":105428099,"modified":"2026-10-09T10:09:04Z","type":"item","id":"Q40515","labels":{"en":{"language":"en","value":"UPF Firewall"}},"descriptions":{"en":{"language":"en","value":"AFP entry UPF_Firewall"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a0aa45b3b136fdb5e43e1df0699e99764a85c4f3","datavalue":{"value":"28801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40515$B81E22D4-3E21-4E3A-B6C6-470B29A69E0E","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":"Q40515$71FA0595-9109-4E13-8F40-4DC96A34A36D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"bb11208f218b2ca6757fbd744840d5a8758939e7","datavalue":{"value":"https://www.isa-afp.org/entries/UPF_Firewall.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40515$4570DBF6-DA99-43FC-A400-AE51803F00CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40515$C8EFD356-D886-47CE-B92B-E0BBDAF9E4AF","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab4294a4657d165a5e2226c257e4bd489044feb8","datavalue":{"value":{"entity-type":"item","numeric-id":24982,"id":"Q24982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$D7AD6300-9DFA-4AED-8453-E4BAA0E4F634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f99a4a11b17c4105097c2abc36eb4f0f11d54f1a","datavalue":{"value":{"entity-type":"item","numeric-id":40517,"id":"Q40517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$E7C6582E-17E7-4DE3-AA1E-7D9A80B16F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"017fa705965ce83b9352fcd37e6504da550999f8","datavalue":{"value":{"entity-type":"item","numeric-id":22554,"id":"Q22554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$42FC8B2A-7E50-4C0B-99D6-355403672107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7e87432f25e92c87acffab9ca94ac4602e867ba2","datavalue":{"value":{"entity-type":"item","numeric-id":22553,"id":"Q22553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$277D04B5-C9FC-4FB0-AFF8-BAAB1011413A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f6d3782064a4d72ee5f5bb195ed18fb6061571f1","datavalue":{"value":{"entity-type":"item","numeric-id":40589,"id":"Q40589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$EB924B23-53CD-4B09-AB08-7DAFD1425DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f77d2559d83b2c646c7862481aef44ce36e06ba","datavalue":{"value":{"entity-type":"item","numeric-id":40552,"id":"Q40552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$7223A60B-5877-49C7-82A6-182EF5C8036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e9ec7b87e9ba3ba8014a141ee560735621d4a59a","datavalue":{"value":{"entity-type":"item","numeric-id":40556,"id":"Q40556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$92C49609-2E37-4C68-BA22-F9098FFF05B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b882ae168d313d20f336a09a86423186304cbf0d","datavalue":{"value":{"entity-type":"item","numeric-id":40504,"id":"Q40504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$408C6ACB-8EB6-48C7-BB42-9F23E8C00E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"151195ba8523ad006cbfc17b48f2fa407811119c","datavalue":{"value":{"entity-type":"item","numeric-id":40516,"id":"Q40516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$9D4A9403-DBC2-4F8B-8AE0-DB9EFDA841FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1e35b07a6e02547a98cc639be6d0fa35821d5709","datavalue":{"value":{"entity-type":"item","numeric-id":40514,"id":"Q40514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$A5B55EC0-A214-483D-BC6E-662E2A1F63B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"86b27fc12f1d115faf82c11f8b7b885236b3aa20","datavalue":{"value":{"entity-type":"item","numeric-id":40513,"id":"Q40513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$9DEC9E87-987B-4D1D-8766-F166F0A69A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$D2AA82C2-0727-48CE-9D5D-CDADCE8988AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$A7483F7F-4418-492C-A705-70373C5F6A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"426782fbdde38f1df05faf0243ad602781d86c1e","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$62E6110F-6FE5-4434-94B4-D628AECD3E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$B8DAB4F4-FD42-475E-8FC4-B4330A9411DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8350838eff8cf209ce581bae96411ae7b657cb78","datavalue":{"value":{"entity-type":"item","numeric-id":51872,"id":"Q51872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$0121B26C-AC82-42C9-B076-7F3CA6700FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bdb1ecf846a9cbba7c1f2eaba56d996848b520ff","datavalue":{"value":{"entity-type":"item","numeric-id":51871,"id":"Q51871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$03303613-B084-4D4C-8EF7-A65200DC40CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7fee87dc115d74262a580026f9d9ab594451f3ae","datavalue":{"value":{"entity-type":"item","numeric-id":45130,"id":"Q45130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$803C73CB-C553-4598-86FD-38E36312C53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"17d2469a3a7ad3b8473dfb90c231b057861725e1","datavalue":{"value":{"entity-type":"item","numeric-id":21430,"id":"Q21430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$F6EB346D-065F-4A20-B362-3AB1F802CC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$7FE96859-C45A-48CB-A521-69C28FAE1DA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50556c8e6b8fea59e4b5c5f2c1a4dd4df88185dc","datavalue":{"value":"https://isa-afp.org/entries/UPF_Firewall.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40515$B41F10FD-8429-49C7-88F1-04ED55145CF4","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"c321b6732f723699ff379c28a4499e7172aa303c","datavalue":{"value":"Achim D. Brucker","type":"string"},"datatype":"string"},"type":"statement","id":"Q40515$9AB8113F-9152-400C-AC63-FDCF7282E0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"b73b0fb8f26975e59c22a35de64b212078d3978e","datavalue":{"value":"Lukas Br\u00fcgger","type":"string"},"datatype":"string"},"type":"statement","id":"Q40515$369E2D75-2723-4280-9F15-E4177D008044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9f417d50d28c3248f72294b3f5970214162e0fab","datavalue":{"value":"Burkhart Wolff","type":"string"},"datatype":"string"},"type":"statement","id":"Q40515$9A31DE8C-B2E8-4548-B76D-5CD848BEF1F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9736392efd2e662be68817469808bc4671d3ccf2","datavalue":{"value":"We present a formal model of network protocols and their application to modeling firewall policies. The formalization is based on the Unified Policy Framework (UPF). The formalization was originally developed with for generating test cases for testing the security configuration actual firewall and router (middle-boxes) using HOL-TestGen. Our work focuses on modeling application level protocols on top of tcp/ip.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40515$5685971F-2F65-4FFE-96A6-5E1D52242247","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec369af61cafd1faf245c56d6a4ddb5bac9a0a41","datavalue":{"value":{"entity-type":"item","numeric-id":5423867,"id":"Q5423867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$04718228-14C4-41C0-9BF5-61E43B7D1C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565374d145e697f1ac73da4e9c94e76c8cf9d04e","datavalue":{"value":{"entity-type":"item","numeric-id":470025,"id":"Q470025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$F17EB3A1-08E6-4A52-9C4F-7BCCF40EDB8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10cda32e717e5b8e3667d81b5ec97aeee7213213","datavalue":{"value":{"time":"+2017-01-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":"Q40515$A78A700C-BEA6-4829-A3F5-9FAB58AF36B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5b612e3a75703c7cb734e01b83f802dad31ef0c","datavalue":{"value":{"text":"Formal Network Models and Their Application to Firewall Policies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40515$5302C237-EAEA-4F67-A3F4-6F52EC8FF4EC","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":"Q40515$14744A3C-2600-4576-952A-E5C219C0C322","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"9dc3c0a50b0f825099ff812e7cd9263d807ee474","datavalue":{"value":{"entity-type":"item","numeric-id":7361033,"id":"Q7361033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40515$F082AC7E-355B-431B-AD9B-E90A03EFA52D","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":"Q40515$DC18D2F3-3A74-4919-B6DB-761F61584D7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"UPF Firewall","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/UPF_Firewall"}}}}}