| A formal approach to network segmentation N Mhaskar, M Alabbad, R Khedri Computers & Security 103, 102162, 2021 | 56 | 2021 |
| Configuration and governance of dynamic secure SDN M Alabbad, R Khedri Procedia Computer Science 184, 131-139, 2021 | 11 | 2021 |
| Defense in depth formulation and usage in dynamic access control R Khedri, O Jones, M Alabbad International Conference on Principles of Security and Trust, 253-274, 2017 | 9 | 2017 |
| Two formal design solutions for the generalization of network segmentation M Alabbad, N Mhaskar, R Khedri Journal of Network and Computer Applications 222, 103763, 2024 | 3 | 2024 |
| Hardening of network segmentation using automated referential penetration testing M Alabbad, N Mhaskar, R Khedri Journal of Network and Computer Applications 224, 103851, 2024 | 2 | 2024 |
| Method and system for determining design and segmentation for robust network access security R Khedri, M Alabbad, N Mhaskar US Patent App. 18/261,401, 2024 | 2 | 2024 |
| Dynamic Segmentation, Configuration, and Governance of SDN M Alabbad, R Khedri Journal of Ubiquitous Systems and Pervasive Networks (JUSPN) 16 (01), 07-22, 2022 | 1 | 2022 |
| A Feature Modelling Language Based on Product Family Algebra M Alabbad | 1 | 2013 |
| A Formal Approach to Secure the Segmentation and Configuration of Dynamic Networks M Alabbad | | 2021 |
| Department of Computing and Software R Khedri, N Mhaskar, M Alabbad | | 2008 |
Ridha KhedriProfessor of Software Engineering, McMaster UniversityVerified email at mcmaster.ca