Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Pages 1-52024Other Closed accessSeveral sources 1
Research output
Modelling and Implementation of Complex Systems
Salim Chıkhı, Gregorio Dı́az, Abdelmalek Amine, Allaoua Chaoui, Djamel Eddine Saïdouni, Mohamed Khireddine Kholladi
Modelling and Implementation of Complex Systems
Salim Chıkhı, Abdelmalek Amine, Allaoua Chaoui, Mohamed Khireddine Kholladi, Djamel Eddine Saïdouni
Mathematical Modeling of a Programmable Decision Network to Simulate the Socio-Economic Environment
Mohammed Charaf Eddine Meftah, Abdelkader Laouid, Mostefa Kara, Konstantinos Κarampidis, Giorgos M. Papadourakis, Manolis G. Tampouratzis, Nikos E. Mastorakis
Pages 42-482024Other Closed accessSeveral sources
Controlling the degree of observability in GPS/INS integration land-vehicle navigation based on extended Kalman filter
Bendehiba Dahmane, Brahim Lejdel, Eliseo Clementini, Fayssal Harrats, Sameh Nassar, Lahcène Hadj Abderrahmane
Bulletin of Electrical Engineering and InformaticsVolume 11، (2)، Pages 702-7122022Article Open access 5
Smart-Approach Based Internet of Things and Skyline Query for Multicriteria Decisions for Travel Services
Oum Elhana Maamra, Mohamed Khireddine Kholladi, Okba Kazar, Saad Harous
Towards a hybrid formal analysis technique for safety-critical software architectures
Laura M. Castro, Osman Hasan, Ammar Boucherit, Abdallah Khababa
International Journal of Critical Computer-Based SystemsVolume 10، (2)، Pages 952021Article Closed access
Genetic Agent Approach for Improving on-the-fly Web Map Generalization
International Journal of Advanced Information TechnologyVolume 2، (3)، Pages 1-102012Article Open access 1
A Comparative Analysis of Service Composition Approaches for the Internet of Things
Farida Retima, Saber Benharzallah
Optimization of Passivity-Based Controller for a Hybrid Vehicle Power Source using the Gray Wolf Algorithm
Said Bedda, Okba Kraa, M. Mohammedi, Djallal Eddine Zabia, Ilyes Tegani, Mohamed Kamel Benbraika
Pages 1-72024Other Closed accessSeveral sources 2
A Novel Digital Signature Scheme for Advanced Asymmetric Encryption Techniques
Farid Lalem, Abdelkader Laouid, Mostefa Kara, Mohammed Al-Khalidi, Amna Eleyan
Mobile Agent approach based on mobile strategic environmental Scanning using Android and JADELEAP systems
Mohammed Anouar Naoui, Hamid Mcheick, Okba Kazar
Volume 30، Pages 1-72014Other Closed accessSeveral sources
A flexible encryption technique for the internet of things environment
Saci Medileh, Abdelkader Laouid, El Moatez Billah Nagoudi, Reinhardt Euler, Ahcène Bounceur, Mohammad Ali A. Hammoudeh, Muath AlShaikh, Amna Eleyan, Osama Ahmed Khashan
Ciphertext-Independent and Unbounded Depth RSA-Based Updatable Encryption Scheme
Mostefa Kara, Abdelkader Laouid, Ahcène Bounceur, Mohammad Ali A. Hammoudeh, Mohamed Nadhir Abid, Mohammed Elhabib Kahla
Pages 1-62024Other Open accessSeveral sources
A Multi-Key Based Lightweight Additive Homomorphic Encryption Scheme
Khaled Chait, Abdelkader Laouid, Lamri Laouamer, Mostefa Kara
Pages 1-62021Other Closed accessSeveral sources 18
An Edge-Based Quantum-Secure Fully Homomorphic Encryption Scheme
Abdelkader Laouid, Mostefa Kara, Mohammad Ali A. Hammoudeh, Hacen Zelaci, Ali Kashif Bashir
IEEE Transactions on Consumer ElectronicsVolume 71، (3)، Pages 8396-84062025Article Open accessSeveral sources 8
A Multi-Key with Partially Homomorphic Encryption Scheme for Low-End Devices Ensuring Data Integrity
Saci Medileh, Abdelkader Laouid, Mohammad Ali A. Hammoudeh, Mostefa Kara, Tarek Bejaoui, Amna Eleyan, Mohammed Al-Khalidi
Asymmetric Image Encryption Based on Twin Message Fusion
Mohammed Elhabib Kahla, Mounir Beggas, Abdelkader Laouid, Mostefa Kara, Muath AlShaikh
Volume 21، Pages 1-52021Other Closed accessSeveral sources 12
A Nature-Inspired Partial Distance-Based Clustering Algorithm
Mohammed Elhabib Kahla, Mounir Beggas, Abdelkader Laouid, Mohammad Ali A. Hammoudeh