Concepedia

Nihel Ben Youssef

NB

2

Publications

45

Citations

2

H-Index

2009

Active since

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Nihel Ben Youssef is an author at École Normale Supérieure Paris-Saclay specializing in computer science, systems engineering, and formal methods.

Top concepts

EngineeringVerificationData SecurityFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringInformation Security

Publications per year

2009–2010

2

Publications

2

Automatic verification of conformance of firewall configurations to security policies

Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard · 2009 · 29 citations · Full text

Engineering, Information Security, Next-generation Firewall +22

Automatic Conformance Verification of Distributed Firewalls to Security Requirements

Nihel Ben Youssef, Adel Bouhoula · 2010 · 16 citations

Engineering, Information Security, Next-generation Firewall +18

Rows per page

1–2 of 2