Applying Formal Modelling to the Specification and Testing of SDN Network Functionality

About this item

Title

Applying Formal Modelling to the Specification and Testing of SDN Network Functionality

Content partner

Victoria University of Wellington

Collection

Open Access Victoria University of Wellington

Description

Software Defined Networks offers a new paradigm to manage networks, one that favors centralised control over the distributed control used in legacy networks. This brings network operators potential efficiencies in capital investment, operating costs and wider choice in network appliance providers. We explore in this research whether these efficiencies apply to all network functionality by applying formal modelling to create a mathematically rigourous model of a service, a firewall, and using ...

Read more

Format

Research paper

Research format

Scholarly text / Thesis

Thesis level

Masters

Date created

2016

Creator

Matthew Stevens

URL

https://figshare.com/articles/thesis/Applying_Formal_Modelling_to_the_Specification_and_Testing_o...

Related subjects

Modelling and simulation / Networking and communications / Software engineering not elsewhere classified / Formal methods / SDN / Firewall / Security / Architecture / Model based testing / School: School of Engineering and Computer Science / Unit: Engineering at Victoria / Networking and Communications / Software Engineering / Simulation and Modelling / Degree Discipline: Computer Science / Degree Discipline: Electronic and Computer System Engineering / Degree Level: Masters / Degree Name: Master of Engineering

What is the copyright status of this item?

All Rights Reserved

This item is all rights reserved, which means you'll have to get permission from Victoria University of Wellington before using it.

More Information

Victoria University of Wellington has this to say about the rights status of this item:

Author Retains Copyright

What can I do with this item?

You must always check with Victoria University of Wellington to confirm the specific terms of use, but this is our understanding:

Non-infringing use

NZ Copyright law does not prevent every use of a copyright work. You should consider what you can and cannot do with a copyright work.

No sharing

You may not copy and/or share this item with others without further permission. This includes posting it on your blog, using it in a presentation, or any other public use.

No modifying

You are not allowed to adapt or remix this item into any other works.

No commercial use

You may not use this item commercially.