English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Software-defined networking (SDN) enables advanced operation and managementof network deployments through (virtually) centralised, programmablecontrollers, which deploy network functionality by installing rules in the flowtables of network switches. Although this is a powerful abstraction, buggycontroller functionality could lead to severe service disruption and securityloopholes, motivating the need for (semi-)automated tools to find, or evenverify absence of, bugs. Model checking SDNs has been proposed in theliterature, but none of the existing approaches can support dynamic networkdeployments, where flow entries expire due to timeouts. This is necessary forautomatically refreshing (and eliminating stale) state in the network (termedas soft-state in the network protocol design nomenclature), which is importantfor scaling up applications or recovering from failures. In this paper, weextend our model (MoCS) to deal with timeouts of flow table entries, thussupporting soft state in the network. Optimisations are proposed that aretailored to this extension. We evaluate the performance of the proposed modelin UPPAAL using a load balancer and firewall in network topologies of varyingsize.

Model Checking Software-Defined Networks with Flow Entries that Time Out (version with appendix)