{"entities":{"Q7361641":{"pageid":31520462,"ns":120,"title":"Item:Q7361641","lastrevid":105423740,"modified":"2026-10-08T13:45:36Z","type":"item","id":"Q7361641","labels":{"en":{"language":"en","value":"Iptables Semantics"}},"descriptions":{"en":{"language":"en","value":"AFP entry Iptables_Semantics"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03889a69d1cfcf33c5df682997c853daee2bdb12","datavalue":{"value":"https://isa-afp.org/entries/Iptables_Semantics.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361641$2D607236-B4B9-4FAC-999D-0869812282C9","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f572c0c3594a211ae151ace25a40b7599a06f6b5","datavalue":{"value":"Cornelius Diekmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361641$5718577A-1741-4491-8546-6713AB849250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bf5d485796582ea615cfd5e7c0148e1add1641d3","datavalue":{"value":"Lars Hupel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361641$6B27F9EA-A53B-4818-A1B4-49FEDBCD04F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a056cc8cd1c940a41eaddf7895fa9170c8fc9de0","datavalue":{"value":"We present a big step semantics of the filtering behavior of the Linux/netfilter iptables firewall. We provide algorithms to simplify complex iptables rulests to a simple firewall model (c.f. AFP entry Simple_Firewall ) and to verify spoofing protection of a ruleset. Internally, we embed our semantics into ternary logic, ultimately supporting every iptables match condition by abstracting over unknowns. Using this AFP entry and all entries it depends on, we created an easy-to-use, stand-alone haskell tool called fffuu . The tool does not require any input \u2014except for the iptables-save dump of the analyzed firewall\u2014 and presents interesting results about the user's ruleset. Real-Word firewall errors have been uncovered, and the correctness of rulesets has been proved, with the help of our tool.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361641$FFCFEC29-CBFC-4B59-931B-F5F91E5E9250","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"1518b44e9920a7e58377edf0d25bb1683f308560","datavalue":{"value":{"entity-type":"item","numeric-id":7361163,"id":"Q7361163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361641$1558E71B-8365-42D0-BA3A-19A1EEDFE355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"5c10672ed145c8e49383b9cddc0e2c9f732e1e3a","datavalue":{"value":{"entity-type":"item","numeric-id":7361047,"id":"Q7361047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361641$B60DE1CC-ABFC-43CD-9774-B4D71E1D03D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a92f0ef72cfcb252a53db66962ae3118731f7fca","datavalue":{"value":{"time":"+2016-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361641$C7DDA579-9316-45FC-BEA7-B6E673528AC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf2e81f04f6cfb2f8df17036a82679a9770514c3","datavalue":{"value":{"text":"Iptables Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361641$D3E3A021-9724-417B-8522-B09896FD693F","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":"Q7361641$0C641C8A-840C-4E62-A7BE-3036114A166A","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":"Q7361641$12D7203E-9823-4E9C-BA64-C49008E94C04","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":"Q7361641$34B9239F-9E2B-4F44-95E2-6A0B52D65AA1","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"bf6a316378a3516314e96046e4ce554d0df209bb","datavalue":{"value":"28802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361641$54C08D14-5A60-45FE-85B7-B0A15136C4B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361641$BC2600A1-213F-466D-80FC-4549173420BF","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":"Q7361641$14CBDCB0-F080-46BD-BBA4-3B5E745CE92C","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":"Q7361641$D1396F86-80AA-4349-9DDE-3FDA9EAF9646","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":"Q7361641$1708DC52-8210-4761-885A-5ABE90D49BE2","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":"Q7361641$09E629BF-7798-40BA-A511-BD41C2C0FD42","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":"Q7361641$3F6A2DCB-BAA3-453D-A50E-0F72296B0908","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":"Q7361641$05724113-8CF3-4ADE-A25A-88FC72F51BE3","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":"Q7361641$4ECB8F8E-77C5-473B-905E-215C82E5A3A2","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":"Q7361641$63B8647A-3A87-4A75-8847-44760FCD5074","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":"Q7361641$4B8C0E0F-F0C0-40F3-BDE3-4BEA2A1C3049","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":"Q7361641$D5A92F6A-D0EC-4D86-8FF8-41490ABC66E4","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":"Q7361641$EFE56176-2FBA-48A0-9397-C80A16574D11","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":"Q7361641$81C161E3-5E2E-42DB-8254-2D493C055536","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":"Q7361641$42AF3276-7B08-4393-8EE3-5AC74606472B","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":"Q7361641$16549B4F-EAB4-4DDA-8685-F101F7039762","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":"Q7361641$09E83E6D-D1A1-4866-9C77-83BDD9288B30","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":"Q7361641$AF1A65E0-1AF7-4830-86D9-124F7A8ACECC","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":"Q7361641$B0B4BE1B-1684-4D90-B298-82FF00C8A0B7","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":"Q7361641$CD24E879-DA9C-470B-9356-FE2B9DD0C3AC","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":"Q7361641$FBA87AB4-4A6A-4EC4-8EA3-14DF17BCA1DA","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":"Q7361641$0E1E3441-F75C-43C0-866E-789BF4CE814A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iptables Semantics (AFP entry Iptables Semantics)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iptables_Semantics_(AFP_entry_Iptables_Semantics)"}}}}}