Ramtin Aryan

• Aryan, Ramtin; Yazidi, Anis; Bouhoula, Adel & Engelstad, Paal E. (2020). Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies. Conference on Local Computer Networks.  ISSN 0742-1303. . doi: 10.1109/LCN48667.2020.9314851 Full text in Research Archive.
• Aryan, Ramtin; Yazidi, Anis; Kure, Øivind & Engelstad, Paal E. (2020). A parallel approach for detecting OpenFlow rule anomalies based on a general formalism. Concurrency and Computation.  ISSN 1532-0626. . doi: 10.1002/cpe.5907 Full text in Research Archive. Show summary

  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. Dueto the large number of switches and heterogeneous policies within a typical SDN net-work, detecting those conflicts is a laborious and challenging task. This article presentsthree main contributions. First, we devise an offline method for detecting unmatchedOpenFlow rules, that is, rules that are never fired. In our taxonomy such anomaliescan stem from either invalid or irrelevant unmatched rules. Second, we introduce anew set of definitions for the intraanomalies between rules in the same table, whichmight occur when using the multiaction feature of an OpenFlow rule. Third, our detec-tion method has been enhanced to support parallel execution, which makes it a viablesolution for troubleshooting large-scale networks. We provide some comprehensiveexperimental results based on both synthetic and real-life setup the synthetic set upis designed in such a way that the rule matching takes place in the last rules of theswitch and thus putting more stress on the rule detection process. The parallel methodis shown to outperform the single-threaded checking method by order of magnitudeup to 21.

• Aryan, Ramtin; Brattensborg, Frode Henriksen; Yazidi, Anis & Engelstad, Paal (2019). Checking the OpenFlow Rule Installation and Operational Verification, In Karl Andersson; Hwee-Pink Tan & Sharief Oteafy (ed.),  44th Annual IEEE Conference on Local Computer Networks (LCN 2019).  IEEE.  ISBN 978-1-7281-1028-8.  kapittel.  s 250 - 253
• Aryan, Ramtin; Yazidi, Anis & Engelstad, Paal E. (2018). An Incremental Approach for Swift OpenFlow Anomaly Detection. Conference on Local Computer Networks.  ISSN 0742-1303. . doi: 10.1109/LCN.2018.8638226 Full text in Research Archive.
• Aryan, Ramtin; Yazidi, Anis; Engelstad, Paal E. & Kure, Øivind (2017). A General Formalism for Defining and Detecting OpenFlow Rule Anomalies, In Tölle Jens (ed.),  42nd IEEE Conference on Local Computer Networks.  IEEE conference proceedings.  ISBN 978-1-5090-6523-3.  1.  s 426 - 434 Full text in Research Archive.

View all works in Cristin

• Aryan, Ramtin; Brattensborg, Frode; Yazidi, Anis & Engelstad, Paal E. (2019). Checking the OpenFlow Rule Installation and Operational Verification.
• Aryan, Ramtin; Yazidi, Anis & Engelstad, Paal E. (2018). An Incremental Approach for Swift OpenFlow Anomaly Detection.
• Aryan, Ramtin; Yazidi, Anis; Engelstad, Paal E. & Kure, Øivind (2017). A General Formalism for Defining and Detecting OpenFlow Rule Anomalies.

View all works in Cristin