AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
TL;DR
This work proposes a novel approach to monitor and manage enforced configurations in production environments that is complementary to PBNM and can be effectively used to analyse several types of IT infrastructures.
A new methodology to automatically define the allocation scheme and configuration of packet filters in the logical topology of a virtual network is proposed, based on solving a carefully designed partial weighted Maximum Satisfiability Modulo Theories problem by means of a state of the art solver.
A novel methodology which leverages Maximum Satisfiability Modulo Theories (MaxSMT) to automatically compute a formally correct and optimized allocation scheme and configuration of SDN switches by refining security policies, user-defined or derived from detected attacks is proposed.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.