Search the dblp DataBase

Publications of Author

1. Syrine Karoui, Nabil El-Kadhi, Fouad Ben Abdelaziz
   A bidirectional Bluetooth authentication scheme based on game-theoretic framwork. [Citation Graph (0, 0)][DBLP]
   ICWN, 2006, pp:63-70 [Conf]
   
2. Hazem El-Gendy, Nabil El-Kadhi
   Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications. [Citation Graph (0, 0)][DBLP]
   International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:5, pp:873-892 [Journal]
   
3. 
   Formal Automated Transformation of SDL Specifications to Estelle Specifications. [Citation Graph (, )][DBLP]
   
   
4. 
   Intelligent Mobile Agent for Intrusion Detection System. [Citation Graph (, )][DBLP]
   
   
5. 
   Artificial Neural Network for IDS Solution. [Citation Graph (, )][DBLP]
   
   
6. 
   Ontology Driven Security for Mobile Applications. [Citation Graph (, )][DBLP]
   
   
7. 
   Towards a Mobile Applications Security Approach. [Citation Graph (, )][DBLP]
   
   
8. 
   Relation Extraction and Validation Algorithm. [Citation Graph (, )][DBLP]
   
   
9. 
   Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques. [Citation Graph (, )][DBLP]
   
   
10. 
    Formal automated transformation of SDL specifications to Lotos specifications. [Citation Graph (, )][DBLP]
    
    
11. 
    Security Ontology Proposal for Mobile Applications. [Citation Graph (, )][DBLP]
    
    
12. 
    Qualitative and Quantitative Criteria for the Concept Evaluation Task. [Citation Graph (, )][DBLP]
    
    
13. 
    Distributed Agent Architecture for Intrusion Detection Based on New Metrics. [Citation Graph (, )][DBLP]