Nabil El-Kadhi

发表

Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications

Hazem El-Gendy, Nabil El-Kadhi, 2005, Int. J. Softw. Eng. Knowl. Eng..

Formal Automated Transformation of SDL Specifications to Estelle Specifications

Narayan C. Debnath, Hazem El-Gendy, Nabil El-Kadhi, 2008, Computers and Their Applications.

A Mobile Agents and Artificial Neural Networks for Intrusion Detection

Karim Hadjar, Nabil El-Kadhi, Nahla El Zant El Kadhi, 2012, J. Softw..

Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques

Narayan C. Debnath, Hazem El-Gendy, Nabil El-Kadhi, 2008, 2008 IEEE Symposium on Computers and Communications.

Intelligent Mobile Agent for Intrusion Detection System

Nabil El-Kadhi, Réginalds Lips, 2007, Security and Management.

Management scheme for intelligent terminals for the information super-highways

Narayan C. Debnath, Hazem El-Gendy, Nabil El-Kadhi, 2010, ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010.

Ontology Driven Security for Mobile Applications

Nabil El-Kadhi, Sofien Beji, 2009, Security and Management.

Artificial Neural Network for IDS Solution

Karim Hadjar, Nabil El-Kadhi, Farah Barika Ktata, 2009, Security and Management.

Formal automated transformation of SDL specifications to Lotos specifications

Narayan C. Debnath, Hazem El-Gendy, Nabil El-Kadhi, 2008, 2008 IEEE Symposium on Computers and Communications.

KMRCRelat Algorithm for finding repeated words in sequences: Application on biological sequences

Nabil El-Kadhi, 2005, J. Comput. Methods Sci. Eng..

Advanced method for cryptographic protocol verification

Hazem El-Gendy, Nabil El-Kadhi, 2006, J. Comput. Methods Sci. Eng..

Towards a Mobile Applications Security Approach

Nabil El-Kadhi, Sofien Beji, 2008, Security and Management.

Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos

Hazem El-Gendy, Nabil El-Kadhi, 2005, J. Comput. Methods Sci. Eng..

Extension and use of KMRCRelat algorithm for biological problems

Nabil El-Kadhi, Pierre-Antoine Gourraud, Nahla El Zant El Kadhi, 2006, J. Comput. Methods Sci. Eng..

Using correlation engine and mobile agents for intrusion detection

Nabil El-Kadhi, Réginald Lips, Nabil El-Kadhi, 2008 .

Distributed Agent Architecture for Intrusion Detection Based on New Metrics

Khaled Ghédira, Nabil El-Kadhi, Farah Barika Ktata, 2009, 2009 Third International Conference on Network and System Security.

WaterMed: A watermarking method for medical digital images

Nabil El-Kadhi, Syrine Karoui, 2006, J. Comput. Methods Sci. Eng..

Agent IDS based on Misuse Approach

Khaled Ghédira, Nabil El-Kadhi, Farah Barika Ktata, 2009, J. Softw..

Qualitative and Quantitative Criteria for the Concept Evaluation Task

Nabil El-Kadhi, Lobna Karoui, Supelec France, 2007, World Congress on Engineering.

Security Ontology Proposal for Mobile Applications

Nabil El-Kadhi, Sofien Beji, Nabil El-Kadhi, 2009, 2009 Tenth International Conference on Mobile Data Management: Systems, Services and Middleware.

Towards mosques management information system

Narayan C. Debnath, Hazem El-Gendy, Nabil El-Kadhi, 2009, 2009 IEEE/ACS International Conference on Computer Systems and Applications.

A bidirectional Bluetooth authentication scheme based on game-theoretic framwork

Nabil El-Kadhi, Fouad Ben Abdelaziz, Syrine Karoui, 2006, ICWN.

Relation Extraction and Validation Algorithm

Nabil El-Kadhi, Lobna Karoui, 2007, ICDCIT.

An Agile Approach for Mobile applications Security

Nabil El-Kadhi, Sofien Beji, 2010, Security and Management.

Formal methods: Importance, experience, and comparative analysis

Hazem El-Gendy, Nabil El-Kadhi, 2005, J. Comput. Methods Sci. Eng..

Inferred HLA haplotype information for donors from hematopoietic stem cells donor registries.

Nabil El-Kadhi, Anne Cambon-Thomsen, Pierre-Antoine Gourraud, 2005, Human immunology.