TY - GEN
T1 - Policy transformation in software defined networks
AU - Kang, Nanxi
AU - Reich, Joshua
AU - Rexford, Jennifer L.
AU - Walker, David P.
PY - 2012
Y1 - 2012
N2 - A Software Defined Network (SDN) enforces network-wide policies by installing packet-handling rules across a distributed collection of switches. Today's SDN platforms force programmers to decide how to decompose a high-level policy into the low-level rules in each switch. We argue that future SDN platforms should support automatic transformation of policies by moving, merging, or splitting rules across multiple switches. This would simplify programming by allowing programs written on one abstract switch to run over a more complex network topology, and simplify analysis by consolidating a policy spread over multiple switches into a single list of rules. This poster presents our ongoing work on a sound and complete set of axioms for policy transformation, to enable rewriting of rules across multiple switches while preserving the forwarding policy. These axioms are invaluable for creating and analyzing algorithms for optimizing the rewriting of rules.
AB - A Software Defined Network (SDN) enforces network-wide policies by installing packet-handling rules across a distributed collection of switches. Today's SDN platforms force programmers to decide how to decompose a high-level policy into the low-level rules in each switch. We argue that future SDN platforms should support automatic transformation of policies by moving, merging, or splitting rules across multiple switches. This would simplify programming by allowing programs written on one abstract switch to run over a more complex network topology, and simplify analysis by consolidating a policy spread over multiple switches into a single list of rules. This poster presents our ongoing work on a sound and complete set of axioms for policy transformation, to enable rewriting of rules across multiple switches while preserving the forwarding policy. These axioms are invaluable for creating and analyzing algorithms for optimizing the rewriting of rules.
KW - network virtualization
KW - openflow
KW - software defined networks
UR - http://www.scopus.com/inward/record.url?scp=84866495397&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84866495397&partnerID=8YFLogxK
U2 - 10.1145/2342356.2342424
DO - 10.1145/2342356.2342424
M3 - Conference contribution
AN - SCOPUS:84866495397
SN - 9781450314190
T3 - SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication
SP - 309
EP - 310
BT - SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication
T2 - ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication, SIGCOMM 2012
Y2 - 13 August 2012 through 17 August 2012
ER -