( en | de | ru )

 

Disambiguation of "Youssef, Nihel Ben"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Environment for MANET Organization and Security.

, , , and . CANS, volume 9476 of Lecture Notes in Computer Science, page 144-159. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nihel Kooli

Youssef Shawky Youssef Sherief

Youssef Dennaoui

Youssef Chahadi

Adel Youssef

 

Other publications of authors with the same name

A Fully Automatic Approach for Fixing Firewall Misconfigurations., and . CIT, page 461-466. IEEE Computer Society, (2011)Dealing with Stateful Firewall Checking., and . DICTAP (1), volume 166 of Communications in Computer and Information Science, page 493-507. Springer, (2011)Automatic detection and correction of firewall misconfigurations- A formal approach., , and . SCSS, volume 45 of EPiC Series in Computing, page 68-76. EasyChair, (2017)Threat Modeling with Mitre ATT&CK Framework Mapping for SD-IOT Security Assessment and Mitigations., , and . ISCC, page 1323-1326. IEEE, (2023)Automatic verification of conformance of firewall configurations to security policies., , and . ISCC, page 526-531. IEEE Computer Society, (2009)Automatic Conformance Verification of Distributed Firewalls to Security Requirements., and . SocialCom/PASSAT, page 834-841. IEEE Computer Society, (2010)Systematic Deployment of Network Security Policy in Centralized and Distributed Firewalls., and . SocialCom/PASSAT, page 1214-1219. IEEE Computer Society, (2011)A Formal Environment for MANET Organization and Security., , , and . CANS, volume 9476 of Lecture Notes in Computer Science, page 144-159. Springer, (2015)Deep and Automated SDN Data Plane Analysis., , , and . SoftCOM, page 1-6. IEEE, (2019)Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations., , and . TRIDENTCOM, volume 270 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 96-112. Springer, (2018)