Nihel Ben Youssef Ben Souayeh

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 6

Top Topics

Security Requirements

Manual Inspection

Role Based Access Control Model

Top Venues

Publications

Wejdene Saied, Nihel Ben Youssef Ben Souayeh, Amina Saadaoui, Adel Bouhoula
Deep and Automated SDN Data Plane Analysis. SoftCOM (2019)
Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations. TRIDENTCOM (2018)
Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
A New FDD-Based Method for Distributed Firewall Misconfigurations Resolution. EMCIS (2017)
Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
FARE: FDD-based firewall anomalies resolution tool. J. Comput. Sci. 23 (2017)
Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations. Trustcom/BigDataSE/ISPA (2016)
Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations. NCA (2015)
Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
Formal approach for managing firewall misconfigurations. RCIS (2014)
Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
Towards Safe and Optimal Network Designs Based on Network Security Requirements. TrustCom (2012)
Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
Formal Checking of Multiple Firewalls CoRR (2012)