Nabil El-Kadhi

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Venues

Publications

Nabil El-Kadhi, Karim Hadjar, Nahla El Zant
A Mobile Agents and Artificial Neural Networks for Intrusion Detection. J. Softw. 7 (1) (2012)
Hazem El-Gendy, Osman Ibrahim, Nabil El-Kadhi, Narayan C. Debnath
Management scheme for intelligent terminals for the information super-highways. AICCSA (2010)
Nabil El-Kadhi, Sofien Beji
An Agile Approach for Mobile applications Security. Security and Management (2010)
Farah Barika Ktata, Nabil El-Kadhi, Khaled Ghédira
Agent IDS based on Misuse Approach. J. Softw. 4 (6) (2009)
Sofien Beji, Nabil El-Kadhi
Security Ontology Proposal for Mobile Applications. Mobile Data Management (2009)
Hazem El-Gendy, Ahmed Samir, Mahmoud Gebriel, Narayan C. Debnath, Nabil El-Kadhi
Towards mosques management information system. AICCSA (2009)
Farah Barika Ktata, Nabil El-Kadhi, Khaled Ghédira
Distributed Agent Architecture for Intrusion Detection Based on New Metrics. NSS (2009)
Nabil El-Kadhi, Sofien Beji
Ontology Driven Security for Mobile Applications. Security and Management (2009)
Farah Barika, Karim Hadjar, Nabil El-Kadhi
Artificial Neural Network for IDS Solution. Security and Management (2009)
Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath
Formal automated transformation of SDL specifications to Lotos specifications. ISCC (2008)
Sofien Beji, Nabil El-Kadhi
Towards a Mobile Applications Security Approach. Security and Management (2008)
Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath
Formal Automated Transformation of SDL Specifications to Estelle Specifications. CATA (2008)
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)
Lobna Karoui, Nabil El-Kadhi
Relation Extraction and Validation Algorithm. ICDCIT (2007)
Réginalds Lips, Nabil El-Kadhi
Intelligent Mobile Agent for Intrusion Detection System. Security and Management (2007)
Lobna Karoui, Supelec France, Nabil El-Kadhi
Qualitative and Quantitative Criteria for the Concept Evaluation Task. World Congress on Engineering (2007)
Syrine Karoui, Nabil El-Kadhi, Fouad Ben Abdelaziz
A bidirectional Bluetooth authentication scheme based on game-theoretic framwork. ICWN (2006)
Nahla El Zant El Kadhi, Nabil El-Kadhi, Pierre-Antoine Gourraud
Extension and use of KMRCRelat algorithm for biological problems. J. Comput. Methods Sci. Eng. 6 (5-6) (2006)
Nabil El-Kadhi, Hazem El-Gendy
Advanced method for cryptographic protocol verification. J. Comput. Methods Sci. Eng. 6 (5-6) (2006)
Syrine Karoui, Nabil El-Kadhi
WaterMed: A watermarking method for medical digital images. J. Comput. Methods Sci. Eng. 6 (5-6) (2006)
Hazem El-Gendy, Nabil El-Kadhi
Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications. Int. J. Softw. Eng. Knowl. Eng. 15 (5) (2005)
Hazem El-Gendy, Nabil El-Kadhi
Formal methods: Importance, experience, and comparative analysis. J. Comput. Methods Sci. Eng. 5 (4) (2005)
Nabil El-Kadhi
KMRCRelat Algorithm for finding repeated words in sequences: Application on biological sequences. J. Comput. Methods Sci. Eng. 5 (4) (2005)
Hazem El-Gendy, Nabil El-Kadhi
Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos. J. Comput. Methods Sci. Eng. 5 (4) (2005)
Nabil El-Kadhi, Romain Dequidt, Fayçal Daï Ra
Using Correlation Detection for IMA-IDS Architecture. CCCT (2) (2004)