Why Network Verification Requires a Mathematical Model – SlashdotMedia AdOps Asset Management

Why Network Verification Requires a Mathematical Model

Network verification is a rapidly emerging technology that is a key part of Intent-Based Networking (IBN). Verification can help avoid outages, facilitate compliance processes, and accelerate change windows. Full-feature verification solutions require an underlying mathematical model of network behavior to analyze and reason about policy objectives and network designs.

A mathematical model, as opposed to monitoring or testing live traffic, can perform exhaustive and definitive analysis of network implementations and behavior, including proving network isolation or security rules. In this paper, we will describe how verification can be used in key IT processes and workflows, why a mathematical model is required and how it works, as well as example use cases from the Forward Enterprise platform. This will also clarify what requirements a mathematical model must meet and how to evaluate alternative products.

Start Here
I understand that by clicking the button below I agree to receive quotes, newsletters and other information from Forward Networks, sourceforge.net and its partners regarding business software, IT services and related products. I understand that I can withdraw my consent at anytime. I understand by clicking on the green button below I am agreeing to the SourceForge Terms of Use and the Privacy Policy which describe how we use and share your data.