Amina Saâdaoui

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 4

Top Topics

Role Based Access Control Model

Database Security

Automatic Detection

Top Venues

J. Comput. Sci.

Publications

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, Adel Bouhoula
Automatic detection and correction of firewall misconfigurations- A formal approach. SCSS (2017)
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)