AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
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.