{"entities":{"Q7361748":{"pageid":31520783,"ns":120,"title":"Item:Q7361748","lastrevid":105423815,"modified":"2026-10-08T13:45:46Z","type":"item","id":"Q7361748","labels":{"en":{"language":"en","value":"Simple Firewall"}},"descriptions":{"en":{"language":"en","value":"AFP entry Simple_Firewall"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5051fd13df56ca83e4a93a6c27324eb3cf24f7d9","datavalue":{"value":"https://isa-afp.org/entries/Simple_Firewall.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361748$822B62EC-89C7-4EB9-9B67-450B6A659D52","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f572c0c3594a211ae151ace25a40b7599a06f6b5","datavalue":{"value":"Cornelius Diekmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361748$8FEA2DFF-BA98-4204-A5A7-F3620784B82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"045dde749400578820aeaa85be8498af97b18250","datavalue":{"value":"Julius Michaelis","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361748$06B2F8D4-B862-4210-B420-4F250C9C057F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e24c85cc74f22f9901f70520869c19fde2b00ac","datavalue":{"value":"Max W. Haslbeck","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361748$A72DECAD-3F39-42F0-A274-DC373DE00722","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0a097826b6588fa462db6fa4321048edc8e448d","datavalue":{"value":"We present a simple model of a firewall. The firewall can accept or drop a packet and can match on interfaces, IP addresses, protocol, and ports. It was designed to feature nice mathematical properties: The type of match expressions was carefully crafted such that the conjunction of two match expressions is only one match expression. This model is too simplistic to mirror all aspects of the real world. In the upcoming entry \"Iptables Semantics\", we will translate the Linux firewall iptables to this model. For a fixed service (e.g. ssh, http), we provide an algorithm to compute an overview of the firewall's filtering behavior. The algorithm computes minimal service matrices, i.e. graphs which partition the complete IPv4 and IPv6 address space and visualize the allowed accesses between partitions. For a detailed description, see Verified iptables Firewall Analysis , IFIP Networking 2016.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361748$7468F781-8D6E-4A73-A56D-E3D1C2CB5996","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfdc4d4cc36ab9323cabe15e9f40864a71d2da75","datavalue":{"value":{"time":"+2016-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361748$937F0387-1C72-4020-9D21-F0507F145CEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb9c6208ad49d1de5c71c0c97c0ee0f4c2052ee0","datavalue":{"value":{"text":"Simple Firewall","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361748$DF45823B-EB1C-4AD4-8AA3-3E746758F1B0","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":"Q7361748$530545F1-D8C4-42E7-95EC-764F7FDA0A5A","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"d5cca3c9ad6b3127355420c2ef77bb0fba036d8f","datavalue":{"value":{"entity-type":"item","numeric-id":7361423,"id":"Q7361423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361748$FE1FB406-5E62-4FD5-A5A1-ABA0B702B0C0","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"cdd88dbf02d54bf6871722ee3240c7589b777b12","datavalue":{"value":{"entity-type":"item","numeric-id":7360792,"id":"Q7360792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361748$1B7CAAB7-E0FB-4226-A285-A831C144F076","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":"Q7361748$A53B4466-15FB-43D5-B3F3-C1A3F51A45AC","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ca550deb06d5b6a4f3d5a5fc82cd3fedc436e9bb","datavalue":{"value":"28799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361748$4BBFC5F3-F4F3-4373-9B47-95866E6832CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361748$FE6546B7-87E3-4B11-AABF-F4101874F8D2","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":"Q7361748$DD1DC595-43C3-4CDE-B471-EAA9FDA5F2A2","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":"Q7361748$8D6C5F4A-87B7-4CE0-AA52-8E145591F178","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":"Q7361748$2F838908-20A1-42DF-8337-DA6D898F0D01","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":"Q7361748$F3DFBED8-9A4E-484F-B122-5D27F73D31D8","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":"Q7361748$13FAE698-76C0-4DE3-B29C-C034B31C6A51","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":"Q7361748$0E21CD89-14CE-479F-B587-6EE2D0546C3C","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":"Q7361748$2174ED1F-BF8A-4540-94F5-2E84C1A63870","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":"Q7361748$3972A185-C8F1-41BC-AE6B-EF10ED45E39A","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":"Q7361748$30BC5E29-7A71-4E95-92C4-73716DDAEC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9b601d9c384e7d16fcab6b47211814229df40021","datavalue":{"value":{"entity-type":"item","numeric-id":40515,"id":"Q40515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361748$409E7C76-CFE5-4B5E-96E2-0E079FDF0627","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":"Q7361748$92A24FE3-A44E-49E7-A33A-C26EA87891C4","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":"Q7361748$DAE657AB-3FAA-4B4C-B649-4488BD7FD085","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":"Q7361748$2A10143D-38C8-4B7D-A7A2-E7CF37F872B5","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":"Q7361748$EF2750C8-76D9-4664-8ADC-CC9BC0AB93FB","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":"Q7361748$59256E0F-DE9C-4312-82C1-D9B442238213","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":"Q7361748$98B4D8E8-E875-4D82-9E67-CF652C624C74","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":"Q7361748$7F117BA0-BE23-4D51-A605-653ABEFDBD97","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":"Q7361748$63DE321F-520C-4FF2-94BB-FE12703E7C2C","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":"Q7361748$2CF9FE86-40BA-4167-A87B-5246721ADE97","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":"Q7361748$EFB619BB-D341-41C2-98F9-C44A692053AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple Firewall (AFP entry Simple Firewall)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_Firewall_(AFP_entry_Simple_Firewall)"}}}}}