Search Results - "Aryan, Ramtin"
-
1
SDN Spotlight: A real-time OpenFlow troubleshooting framework
Published in Future generation computer systems (01-08-2022)“…Troubleshooting in SDN-based networks is still a cumbersome task that can overwhelm human attention. Various anomalies, such as installation failure,…”
Get full text
Journal Article -
2
A parallel approach for detecting OpenFlow rule anomalies based on a general formalism
Published in Concurrency and computation (2020)“…As the policies of a software-defined networking (SDN) network can be updateddynamically and often at a high pace, conflicts between policies can easily occur…”
Get full text
Journal Article -
3
A parallel approach for detecting OpenFlow rule anomalies based on a general formalism
Published in Concurrency and computation (10-08-2021)“…Summary As the policies of a software‐defined networking (SDN) network can be updated dynamically and often at a high pace, conflicts between policies can…”
Get full text
Journal Article -
4
Checking the OpenFlow Rule Installation and Operational Verification
Published in 2019 IEEE 44th Conference on Local Computer Networks (LCN) (01-10-2019)“…Troubleshooting in SDN-based networks tends to be a cumbersome task that might overwhelm human attention. Researchers have uncovered various misconfiguration…”
Get full text
Conference Proceeding -
5
A General Formalism for Defining and Detecting OpenFlow Rule Anomalies
Published in 2017 IEEE 42nd Conference on Local Computer Networks (LCN) (01-10-2017)“…SDN network's policies are updated dynamically at a high pace. As a result, conflicts between policies are prone to occur. Due to the large number of switches…”
Get full text
Conference Proceeding -
6
An Incremental Approach for Swift OpenFlow Anomaly Detection
Published in 2018 IEEE 43rd Conference on Local Computer Networks (LCN) (01-01-2018)“…Software Defined Networking (SDN) is designed for dynamic policy update where frequent changes are pushed to the forwarding devices. Different offline…”
Get full text
Conference Proceeding -
7
Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies
Published in 2020 IEEE 45th Conference on Local Computer Networks (LCN) (01-01-2020)“…Policy anomalies are frequent in nowadays's computer networks due to their increasing configuration complexity. Resolving policy anomalies usually requires…”
Get full text
Conference Proceeding -
8
Analyzing and resolving anomalies in firewall security policies based on propositional logic
Published in 2009 IEEE 13th International Multitopic Conference (01-12-2009)“…Firewalls are essential components in network security solutions. In order to implement correct security policy, the anomalies in firewall rules should be…”
Get full text
Conference Proceeding