Nabil El-Kadhi

25 papers B 2C 4Misc 2Journal 9Unranked 8

Year	Rank	Type	Title / 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