%0 Conference Paper %1 conf/networking/DiekmannMHC16 %A Diekmann, Cornelius %A Michaelis, Julius %A Haslbeck, Max W. %A Carle, Georg %B Networking %D 2016 %I IEEE Computer Society %K dblp %P 252-260 %T Verified iptables firewall analysis. %U http://dblp.uni-trier.de/db/conf/networking/networking2016.html#DiekmannMHC16 %@ 978-3-9018-8283-8

@inproceedings{conf/networking/DiekmannMHC16, added-at = {2023-03-23T00:00:00.000+0100}, author = {Diekmann, Cornelius and Michaelis, Julius and Haslbeck, Max W. and Carle, Georg}, biburl = {https://www.bibsonomy.org/bibtex/29a27833222a62a74bfd2aa77bec1a6dc/dblp}, booktitle = {Networking}, crossref = {conf/networking/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/IFIPNetworking.2016.7497196}, interhash = {c5dcb89de6bd0b38c8dca0fa9fc4e61a}, intrahash = {9a27833222a62a74bfd2aa77bec1a6dc}, isbn = {978-3-9018-8283-8}, keywords = {dblp}, pages = {252-260}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:54:05.000+0200}, title = {Verified iptables firewall analysis.}, url = {http://dblp.uni-trier.de/db/conf/networking/networking2016.html#DiekmannMHC16}, year = 2016 }