Amina Saadaoui

According to our database, Amina Saadaoui authored at least 9 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Deep and Automated SDN Data Plane Analysis.

Wejdene Saied, Nihel Ben Youssef Ben Souayeh, Amina Saadaoui, Adel Bouhoula

Proceedings of the 2019 International Conference on Software, 2019

2018

Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations.

Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the Testbeds and Research Infrastructures for the Development of Networks and Communications, 2018

2017

FARE: FDD-based firewall anomalies resolution tool.

Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

J. Comput. Sci., 2017

Automatic detection and correction of firewall misconfigurations- A formal approach.

Amina Saâdaoui, Nihel Ben Youssef, Adel Bouhoula

Proceedings of the SCSS 2017, 2017

A New FDD-Based Method for Distributed Firewall Misconfigurations Resolution.

Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the Information Systems, 2017

2016

An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations.

Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

2015

Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations.

Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the 14th IEEE International Symposium on Network Computing and Applications, 2015

Automatic Classification and Detection of Snort Configuration Anomalies - a Formal Approach.

Amina Saadaoui, Hajar Benmoussa, Adel Bouhoula, Anas Abou El Kalam

Proceedings of the International Joint Conference, 2015

2014

Formal approach for managing firewall misconfigurations.

Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014