• DocumentCode
    3719897
  • Title

    Certifying spoofing-protection of firewalls

  • Author

    Cornelius Diekmann;Lukas Schwaighofer;Georg Carle

  • Author_Institution
    Technische Universit?t M?nchen
  • fYear
    2015
  • Firstpage
    168
  • Lastpage
    172
  • Abstract
    We present an algorithm to certify IP spoofing protection of firewall rulesets. The algorithm is machine-verifiably proven sound and its use is demonstrated in real-world scenarios.
  • Keywords
    "IP networks","Semantics","Firewalls (computing)","Data structures","Boolean functions","Linux","Kernel"
  • Publisher
    ieee
  • Conference_Titel
    Network and Service Management (CNSM), 2015 11th International Conference on
  • Type

    conf

  • DOI
    10.1109/CNSM.2015.7367354
  • Filename
    7367354
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3719897