Nabil El-Kadhi

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