Litcius/Paper detail

Intent-Driven Security Policy Management for Software-Defined Systems

Ankur Chowdhary, Abdulhakim Sabur, Neha Vadnere, Dijiang Huang

2022IEEE Transactions on Network and Service Management19 citationsDOI

Abstract

Different network controllers are utilized in a multi-domain software-defined systems (SDx) to manage the networking resources. However, these controllers operate using a different high-level language (intent). Thus, the admin needs to perform cross-layer translation from the user requirements to the underlying network controller format, increasing human-in-the-loop overhead. There are two primary security and management challenges involved in managing multi-domain controllers. The first challenge is how to design an SDN controller language that can effectively convert human-specified networking policies at the control plane into the network flow rules level at the data plane. The second challenge is how to reduce the complexity of network flow rules conflict checking at the data plane. To address these challenges, we present a new intent-based security policy enforcement solution called INTPOL. First, INTPOL provides a unified intent rules that abstracts the network admin from the underlying network controller’s format. Second, INTPOL develops a networking service solution to use a bounded formal model for network service compliance checking that significantly reduces the complexity of flow rules conflicts checking at the data plane level. Finally, INTPOL is expendable from a single SDN domain to multiple SDN domains and hybrid networks by applying network service function chaining (SFC) for inter-domain policy management.

Topics & Concepts

Computer scienceSoftware-defined networkingNetwork managementForwarding planeChainingComputer networkDistributed computingOverhead (engineering)Security policyNetworking hardwareNetwork management stationComputer securityNetwork architectureOperating systemPsychologyNetwork packetPsychotherapistSoftware-Defined Networks and 5GSecurity and Verification in ComputingAccess Control and Trust