Traffic measurement plays an important role in many network-management tasks, such as anomaly detection and traffic engineering. However, existing solutions either rely on custom hardware designed for a specific task, or introduce a high overhead for data collection and analysis. Instead, we argue that a practical trafficmeasurement solution should run on commodity network elements, support a r...

Facilities and resources are offered by testbed providers for creating richer and broader experimentation scenarios for future internet research. Federation among resource providers has emerged as a concept of enabling such rich experimentation scenarios. This demo presents the work in the context of OpenLab project by enabling with OpenLab tools Openflow experimentation

We report on the design of the first fully automatic, machinechecked tool suite for verification of high-level network programs. The tool suite targets programs written in NetCore, a new declarative network programming language. Our work builds on a recent effort by Guha, Reitblatt, and Foster to build a machine-verified compiler from NetCore to OpenFlow, a new protocol for software-defined net...

Software Defined Networking (SDN) defines a network architecture in which the control plane is managed by a logically centralized controller, and thus configuration updates occur frequently. We have recently introduced an approach that uses time-based configuration updates, allowing to simplify complex update procedures and to minimize transient effects caused by configuration changes. This pap...

The increasing complexity of networks and NMSs is starting to affect operators, who are seeing a growing demand for Dynamic VPNs. DVPNs are application-specific VPNs which can be altered multiple time over their potentially short lifetime, requiring a certain degree of flexibility and agility from the network and its support systems. To implement DVPNs in the network, operators need to solve th...

OpenFlow is one of the most commonly used protocols for communication between the controller and the forwarding element in a software defined network (SDN). A model based on M/M/1 queues is proposed in [1] to capture the communication between the forwarding element and the controller. Albeit the model provides useful insight, it is accurate only for the case when the probability of expecting a ...