- What middleware for network centric operations? Ali Benssam a
- A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL
- A Mechanism Design-Based Multi-Leader Election Scheme for Intrusion Detection in MANET
- QoS-Aware Middleware for Web Services Composition -A Qualitative Approach
- A Unified Approach for Verification and Validation of Systems and Software Engineering Models
- A Game Theoretic Approach to Detect Network Intrusions: The Cooperative Intruders Scenario
- Towards an Aspect Oriented Approach for the Security Hardening of Azzam Mourad, Marc-Andre Laverdi`ere and Mourad Debbabi
- New Primitives to AOP Weaving Capabilities for Security Hardening Concerns
- A Hybrid Approach for Safe Memory Management in C
- The Journal of Functional and Logic Programming
- A game-theoretic intrusion detection model for mobile ad hoc networks Hadi Otrok *, Noman Mohammed, Lingyu Wang, Mourad Debbabi, Prabir Bhattacharya
- J Autom Reasoning (2009) 42:265300 DOI 10.1007/s10817-009-9121-1
- Type and Effect Annotations for Safe Memory Access in C
- Towards an integrated e-mail forensic analysis framework Rachid Hadjidj, Mourad Debbabi*, Hakim Lounis, Farkhund Iqbal,
- A Semantics for the Pointcut Matching Process in AspectJ
- IEEE Communications Magazine September 200580 0163-6804/05/$20.00 2005 IEEE TOPICS IN EMERGING TECHNOLOGIES
- Team Edit Automata for Testing Security Property Zhenrong Yang, Aiman Hanna, Mourad Debbabi
- An Aspect Oriented Approach for the Security Hardening of Code
- Higher Order Communicating Processes with Value-Passing Assignment and Return of
- Mobile Netw Appl DOI 10.1007/s11036-009-0164-7
- Verifying Object Initialization in the Java Bytecode St~phane Doyon MouradDebbabi
- Game theoretic models for detecting network intrusions Hadi Otrok *, Mona Mehrandish, Chadi Assi, Mourad Debbabi, Prabir Bhattacharya
- Theoretical Computer Science 291 (2003) 223283 www.elsevier.com/locate/tcs
- A Cooperative Approach for Analyzing Intrusions in Mobile Ad hoc Networks Hadi Otrok, Mourad Debbabi, Chadi Assi and Prabir Bhattacharya
- A Game Theoretic Model to Handle Network Intrusions over Multiple Packets
- A Security Hardening Language Based on Aspect-Orientation
- Vol. 2, No. 2, MarchAprile 2003 A Dynamic Operational Semantics for JVML
- Science of Computer Programming 59 (2006) 3863 www.elsevier.com/locate/scico
- A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing
- International Journal of Information Security manuscript No. (will be inserted by the editor)
- A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs
- An Environment for the Speci cation and Analysis of Cryptoprotocols
- Analyzing multiple logs for forensic evidence5 Ali Reza Arasteh, Mourad Debbabi*, Assaad Sakha, Mohamed Saleh
- AspectJ Assessment from a Security Perspective Dima Alhadidi, Nadia Belblidia, Mourad Debbabi
- Cross-Language Weaving Approach Targeting Software Security Hardening Azzam Mourad, Dima Alhadidi and Mourad Debbabi
- Available online at www.sciencedirect.com Information and Computation 206 (2008) 158184
- Extraction of forensically sensitive information from windows physical memory
- Forensic analysis of logs: Modeling and verification q Mohamed Saleh, Ali Reza Arasteh, Assaad Sakha, Mourad Debbabi *
- Forensic memory analysis: From stack and code to execution history5
- rmal Automatic Verification of Authentication . Cryptographic Protocols
- Java for Mobile Devices: A Security Study Mourad debbabi, Mohamed Saleh, Chamseddine Talhi and Sami Zhioua
- Method Call Acceleration in Embedded Java Virtual Machines
- Model-Checking for Software Vulnerabilities Detection With Multi-Language Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi
- New AOP Pointcuts and Primitives for Security Hardening Concerns
- PLEASE SCROLL DOWN FOR ARTICLE This article was downloaded by: [Alhadidi, D.]
- New aspect-oriented constructs for security hardening Azzam Mourad*, Andrei Soeanu, Marc-Andre Laverdie`re, Mourad Debbabi
- On object initialization in the Java bytecode S. Doyon*, M. Debbabi
- On the Meaning of SysML Activity Diagrams Yosr Jarraya, Mourad Debbabi, and Jamal Bentahar
- On the Implementation of a Stand-AloneJavaTMBytecode Verifier* Frkdiric Painchaud
- Security Crosscutting Concerns and AspectJ Dima AlHadidi , Nadia Belblidia, Mourad Debbabi
- Security Hardening of Open Source Software Azzam Mourad, Marc-Andre Laverdi`ere and Mourad Debbabi
- Int J Softw Tools Technol Transfer (2003) 4: 472495 / Digital Object Identifier (DOI) 10.1007/s10009-002-0100-7 Regular contributions
- Static Analysis of Binary Code to Isolate Malicious Behaviors J. Bergeron & M. Debbabi & M. M. Erhioui & B. Ktari
- Targeting Security Vulnerabilities: From Specification to Detection Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang and Mourad Debbabi
- Testing Intrusion Detection Systems in MANET: A Comprehensive Study Hadi Otrok, Joey Paquet*, Mourad Debbabi and Prabir Bhattacharya
- The Dataflow Pointcut -A Formal and Practical Framework* Dima Alhadidi
- Game Semantics Model for Security Protocols Mourad Debbabi and Mohamed Saleh
- Verifying Security Properties of Cryptoprotocols: A Novel Approach Mohamed Saleh Mourad Debbabi
- 2005 International Conference on Wireless Networks, Communications and Mobile Computing Improving the Security of SNMP in Wireless
- Physics Letters A 361 (2007) 305315 www.elsevier.com/locate/pla
- Mechanism Design-Based Secure Leader Election Model for Intrusion Detection in MANET
- AOP EXTENSION FOR SECURITY TESTING OF PROGRAMS
- Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
- Application and Middleware Security Computer Security Laboratory, CIISE
- A HIGH-LEVEL ASPECT-ORIENTED BASED LANGUAGE FOR SOFTWARE SECURITY HARDENING
- Nouveaux Points de Coupure et Primitives pour les Proccupations de Renforcement de
- A Semantic Theory for Concurrent ML Dominique BOLIGNANO and Mourad DEBABI
- Execution Monitoring Enforcement For Limited-Memory Systems
- Points de coupure pour les proccupations de renforcement de scurit utilisant le flot de
- Towards Automation of Testing High-Level Security Properties
- AOP: An AOP Extended Lambda-Calculus Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya
- A SURVEY OF SECURE B2C COMMERCE FOR MULTICAST SERVICES Anil Kumar Venkataiahgari
- Security Design Patterns: Survey and Evaluation M-A. Laverdi`ere
- Armed E-Bunny: A Selective Dynamic Compiler for Embedded Java Virtual Machine Targeting ARM
- A Dynamic Compiler for Embedded Java Virtual Mourad Debbabi
- The War of Presence and Instant Messaging: Right Protocols and APIs Mourad Debbabi and Mahfuzur Rahman
- Control Flow Based Pointcuts for Security Hardening Concerns
- A Practical Framework for The Dataflow Pointcut Amine Boukhtouta, Dima Alhadidi and Mourad Debbabi
- A Synergy Between Efficient Interpretation and Fast Selective Dynamic Compilation for the Acceleration of
- A Mechanism Design-Based Secure Architecture for Mobile Ad Hoc Networks
- A Moderate to Robust Game Theoretical Model for Intrusion Detection in MANETs
- An Efficient and Truthful Leader IDS Election Mechanism for MANET Hadi Otrok, Noman Mohammed, Lingyu Wang, Mourad Debbabi, and Prabir Bhattacharya
- Security Analysis of Mobile Java Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi and Sami Zhioua
- AspectJ Advice Weaving Semantics1 Nadia Belblidia, Mourad Debbabi
- A Novel Flow-Sensitive Type and Effect Analysis for Securing C Code
- Standard SIP-Based lnstant Messaging and Presence APls for Networked Mourad Debbabi, Mahfuzur Rahman, Wanrong Lin, Jay Gopal, and SSrikrishnaSridhar
- Modeling Security Protocols as Games Mohamed Saleh Mourad Debbabi
- An aspect-oriented approach for the systematic security hardening of code5
- Formal and Practical Weaving Approach based on the Gimple Language for Software Security
- Secure Self-certifiedCOTS* M. Debbabi & E. Giasson & B. Ktari & F. Michaud & N. Tawbi
- Weaving Security Aspects into UML 2.0 Design Models Djedjiga Mouheb, Chamseddine Talhi,
- A Framework for Privacy-Preserving Cluster Benjamin C. M. Fung
- A Network Centric Infrastructure for Decision Support Based on Service Integration
- Secure E-Commerce Transactions for Multicast Services Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi
- Towards a Formal Semantics for AspectJ Nadia Belblidia, Mourad Debbabi
- 2005 International Conference on Wireless Networks, Communications and Mobile Computing Improving the Diffie-Heliman Secure Key
- Formalizing AspectJ Weaving for Static Pointcuts Nadia Belblidia, Mourad Debbabi
- c The Author 2005. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: journals.permissions@oupjournals.org
- rotocol Specifications to Flaws and Attack cenarios: An Automatic and Formal Al
- UNCORRECTEDPROOF An aspect-oriented approach for the security
