Nihel Ben Youssef

According to our database1, Nihel Ben Youssef authored at least 16 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Deep and Automated SDN Data Plane Analysis.
Proceedings of the 2019 International Conference on Software, 2019

2018
Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations.
Proceedings of the Testbeds and Research Infrastructures for the Development of Networks and Communications, 2018

2017
FARE: FDD-based firewall anomalies resolution tool.
J. Comput. Sci., 2017

Automatic detection and correction of firewall misconfigurations- A formal approach.
Proceedings of the SCSS 2017, 2017

A New FDD-Based Method for Distributed Firewall Misconfigurations Resolution.
Proceedings of the Information Systems, 2017

2016
An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

2015
Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations.
Proceedings of the 14th IEEE International Symposium on Network Computing and Applications, 2015

A Formal Environment for MANET Organization and Security.
Proceedings of the Cryptology and Network Security - 14th International Conference, 2015

2014
Formal approach for managing firewall misconfigurations.
Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014

2012
Formal Checking of Multiple Firewalls
CoRR, 2012

Towards Safe and Optimal Network Designs Based on Network Security Requirements.
Proceedings of the 11th IEEE International Conference on Trust, 2012

2011
Systematic Deployment of Network Security Policy in Centralized and Distributed Firewalls.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Dealing with Stateful Firewall Checking.
Proceedings of the Digital Information and Communication Technology and Its Applications, 2011

A Fully Automatic Approach for Fixing Firewall Misconfigurations.
Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2010
Automatic Conformance Verification of Distributed Firewalls to Security Requirements.
Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

2009
Automatic verification of conformance of firewall configurations to security policies.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009


  Loading...