 | 2009 |
|---|
| 11 |       | Farah Barika,
Karim Hadjar,
Nabil El-Kadhi:
Artificial Neural Network for IDS Solution.
Security and Management 2009: 271-277 |
| 10 | | Nabil El-Kadhi,
Sofien Beji:
Ontology Driven Security for Mobile Applications.
Security and Management 2009: 434-440 |
| 2008 |
|---|
| 9 | | Hazem El-Gendy,
Nabil El-Kadhi,
Narayan C. Debnath:
Formal Automated Transformation of SDL Specifications to Estelle Specifications.
Computers and Their Applications 2008: 136-141 |
| 8 |  | Hazem El-Gendy,
Nabil El-Kadhi,
Narayan C. Debnath:
Formal automated transformation of SDL specifications to Lotos specifications.
ISCC 2008: 519-524 |
| 7 | | Hazem El-Gendy,
Nabil El-Kadhi,
Narayan C. Debnath:
Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques.
ISCC 2008: 643-648 |
| 6 | | Sofien Beji,
Nabil El-Kadhi:
Towards a Mobile Applications Security Approach.
Security and Management 2008: 645-654 |
| 2007 |
|---|
| 5 | | Lobna Karoui,
Nabil El-Kadhi:
Relation Extraction and Validation Algorithm.
ICDCIT 2007: 314-320 |
| 4 | | Réginalds Lips,
Nabil El-Kadhi:
Intelligent Mobile Agent for Intrusion Detection System.
Security and Management 2007: 30-38 |
| 3 | | Lobna Karoui,
Supelec France,
Nabil El-Kadhi:
Qualitative and Quantitative Criteria for the Concept Evaluation Task.
World Congress on Engineering 2007: 331-336 |
| 2006 |
|---|
| 2 | | Syrine Karoui,
Nabil El-Kadhi,
Fouad Ben Abdelaziz:
A bidirectional Bluetooth authentication scheme based on game-theoretic framwork.
ICWN 2006: 63-70 |
| 2005 |
|---|
| 1 | | Hazem El-Gendy,
Nabil El-Kadhi:
Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications.
International Journal of Software Engineering and Knowledge Engineering 15(5): 873-892 (2005) |
