{"entities":{"Q40516":{"pageid":40572,"ns":120,"title":"Item:Q40516","lastrevid":105428030,"modified":"2026-10-09T10:08:55Z","type":"item","id":"Q40516","labels":{"en":{"language":"en","value":"Iptables Semantics"}},"descriptions":{"en":{"language":"en","value":"AFP entry Iptables_Semantics"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"bf6a316378a3516314e96046e4ce554d0df209bb","datavalue":{"value":"28802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40516$9B689FB5-D081-4D37-AA88-3ABB3906597C","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":"Q40516$47FA21F7-97BB-4D65-B760-CBE862D5545C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"14bd955d46c91bc5c45d0243e4cf31b7201b59c2","datavalue":{"value":"https://www.isa-afp.org/entries/Iptables_Semantics.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40516$1FF44112-55C5-4BD2-AA7E-1AF817A4317A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40516$515B510A-9222-4AC0-9BE4-8C3EA26A8C3D","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":"Q40516$EBCDF975-7759-496C-BD2E-7170406441FF","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":"Q40516$BA831A91-4780-4ADE-9D19-3AF966EA0D3C","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":"Q40516$96D0BB43-3F7F-4150-B2A4-DC4CD44B384E","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":"Q40516$050C320B-C529-4679-94C4-CC219814E711","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":"Q40516$7A508BE4-D846-482B-BAE3-1EC281699176","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":"Q40516$25F10094-BE72-4540-8766-AF7F638511FC","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":"Q40516$463A21A1-98C1-4F7B-85B6-7F8D702B5AE7","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":"Q40516$C3FE4FEA-7682-4F5A-8833-096858B716E3","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":"Q40516$9C9A2D3D-9B26-4699-8253-A9306D050B33","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":"Q40516$E0E133FA-21C0-48BE-BAE4-BC0A67986EE2","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":"Q40516$2F3DAB73-C346-41CA-A7C0-66541D481523","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":"Q40516$B3EA0566-92F6-4489-8EAD-53A045687BF4","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":"Q40516$950E1FC0-F7EF-4AEE-9CDD-73B9AC0B0602","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":"Q40516$0156CD08-EB9C-4A88-A91D-57039206D0AC","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":"Q40516$1DD08A47-3431-4F71-A3C0-8C746DC6FC2A","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":"Q40516$52B49FEE-9163-4EE5-BBC1-8B7C2B34D638","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":"Q40516$FF3D2C63-E1AB-4CFE-80EF-6211932A25FD","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":"Q40516$0C1BBE4B-E1CE-4829-82B4-9396650D81A1","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":"Q40516$73267994-6325-46B8-8E35-7FEC0AE4BE65","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":"Q40516$49228543-1567-451B-A764-A606855EFD78","rank":"normal"}],"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":"Q40516$B90059BB-0C51-4698-8EB9-5E5B15293379","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f572c0c3594a211ae151ace25a40b7599a06f6b5","datavalue":{"value":"Cornelius Diekmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q40516$CA9683A1-AD69-4F7C-BE87-542E1B68B744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bf5d485796582ea615cfd5e7c0148e1add1641d3","datavalue":{"value":"Lars Hupel","type":"string"},"datatype":"string"},"type":"statement","id":"Q40516$01121C0B-CD2B-4A03-A8D9-01DBC2AEC108","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":"Q40516$1505D2EB-7413-49DB-A065-972EDEEF58F1","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":"Q40516$9CC765AB-56CC-4E7D-B0AC-4235DD2FD26C","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":"Q40516$56471C14-AE25-41AE-8928-BDF9774EE501","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":"Q40516$25D31FB4-964C-4F98-B861-11203D410E4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf2e81f04f6cfb2f8df17036a82679a9770514c3","datavalue":{"value":{"text":"Iptables Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40516$418D268B-005B-4B6B-86BB-680EB5A3EDD8","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":"Q40516$9058D387-231E-4F89-AF8C-73892BF96527","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":"Q40516$FCCFD7EC-3CC0-4DBD-B819-D226433ABA79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iptables Semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iptables_Semantics"}}}}}