Follow
Kamel Karoui
Kamel Karoui
INSAT Professeur réseaux informatique, RIADI, Université de Carthage, INSAT, Tunisie
Verified email at insat.rnu.tn - Homepage
Title
Cited by
Cited by
Year
Encyclopedia of multimedia technology and networking
M Pagani
IGI Global, 2008
982008
Data mining and multi-agent integration
L Cao
Springer Science & Business Media, 2009
682009
Mobile computing: concepts, methodologies, tools, and applications: Concepts, Methodologies, Tools, and Applications
D Taniar
IGI Global, 2008
302008
Specification transformations and design for testability
K Karoui, R Dssouli, O Cherkaoui
Proceedings of GLOBECOM'96. 1996 IEEE Global Telecommunications Conference 1 …, 1996
221996
Towards testable communication software
R Dssouli, K Karoui, A Petrenko, O Rafiq
Protocol Test Systems VIII, 237-251, 1996
171996
On the design for testability of communication protocols
N Yevtushenko, A Petrenko, R Dssouli, K Karoui, S Prokopenko
Protocol Test Systems VIII, 265-280, 1996
151996
A secure cloud computing architecture design
A Khaldi, K Karoui, N Tanabène, HB Ghzala
2014 2nd IEEE International Conference on Mobile Cloud Computing, Services …, 2014
132014
SDL'97: Time for Testing: SDL, MSC and Trends
A Cavalli, A Sarma
Elsevier, 1997
121997
Formal specification, verification and correction of security policies based on the decision tree approach
K Karoui, FB Ftima, HB Ghezala
International Journal of Data & Network Security 3 (3), 92-111, 2013
112013
Security novel risk assessment framework based on reversible metrics: a case study of DDoS attacks on an E‐commerce web server
K Karoui
International Journal of Network Management 26 (6), 553-578, 2016
92016
Framework to detect and repair distributed intrusions based on mobile agent in hybrid cloud
A Khaldi, K Karoui, HB Ghezala
Proceedings of the International Conference on Parallel and Distributed …, 2014
92014
Communications software design for testability: specification transformations and testability measures
R Dssouli, K Karoui, K Saleh, O Cherkaoui
Information and Software Technology 41 (11-12), 729-743, 1999
91999
A multi-agent framework for anomalies detection on distributed firewalls using data mining techniques
K Karoui, FB Ftima, HB Ghezala
Data Mining and Multi-agent Integration, 267-278, 2009
82009
Testability analysis of the communication protocols modeled by relations
K Karoui, R Dssouli
Technical Report No. 1050 1050, 1996
71996
Cyber-Vigilance and Digital Trust: Cyber Security in the Era of Cloud Computing and IoT
W Tounsi
John Wiley & Sons, 2019
52019
Framework for a telemedicine multilevel diagnose system
K Karoui, R Sammouda, M Sammouda
2001 Conference Proceedings of the 23rd Annual International Conference of …, 2001
52001
A secure mobile agents approach for anomalies detection on firewalls
FB Ftima, K Karoui, HB Ghzela
Proceedings of the 10th International Conference on Information Integration …, 2008
42008
Distributed firewalls and IDS interoperability checking based on a formal approach
K Karoui, FB Ftima, HB Ghezala
arXiv preprint arXiv:1310.2861, 2013
32013
Misconfigurations discovery between distributed security components using the mobile agent approach
FB Ftima, K Karoui, HB Ghezala
Proceedings of the 11th International Conference on Information Integration …, 2009
32009
Conception de logiciels de communication testables.
K Karoui
Universite de Montreal, 1999
31999
The system can't perform the operation now. Try again later.
Articles 1–20