A fast method of verifying network routing with back-trace header space analysis

Tonouchi, Toshio; Yamazaki, Satoshi; Yakuwa, Yutaka; Tomizawa, Nobuyuki

doi:10.1109/inm.2015.7140296

Cited by 6 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Security attacks, however, are hard to predict. [3], [5], [6] The framework proposed exploits the Model-Driven Development software paradigm and makes use of NetPlumber [7], an Header Space Analysis (HSA) [8] tool, that we used as a network verification manager. Model Driven Development (MDD) [9] is an approach that adopts Unified Modeling Language (UML) [10] as domain-specific modeling language.…”

Section: Formal Network Verification With Model-driven Developmentmentioning

confidence: 99%

Security network policy enforcement through a SDN framework

Berardi

Callegati

Melis

et al. 2018

2018 28th International Telecommunication Networks and Applications Conference (ITNAC)

View full text Add to dashboard Cite

In this work we present an exploitation of the Software Defined Networking paradigm to implement an architecture allowing a system network administrator to implement and verify in a formal way security policies. The main result is a framework that support the network administrator in the security management process providing services during all this phase, from automated traffic analysis during the prevention phase to tools for the exclusion of malicious traffic from the main flow in the reaction phase. In order to validate the proposed architecture we will showcase an industrial network applied scenario, simulating attacks and countermeasures techniques.

show abstract