المؤلفون: Ksibi, Sondes, Jaidi, Faouzi, Bouhoula, Adel

المصدر: International Journal of Information Security; Feb2025, Vol. 24 Issue 1, p1-20, 20p

المؤلفون: Kefi, Takoua, Ksantini, Riadh, Kaaniche, M. Becha, Bouhoula, Adel

مصطلحات موضوعية: Computer Science - Computer Vision and Pattern Recognition

URL الوصول: http://arxiv.org/abs/1610.04725

المؤلفون: Jayakumar, Drisya, Bouhoula, Adel, Al-Zubari, Waleed Khalil

المصدر: Water (20734441); Nov2024, Vol. 16 Issue 22, p3328, 31p

مصطلحات موضوعية: WATER management, WATER demand management, DECISION support systems, WATER supply, WATER pollution monitoring, SALINE water conversion, WATER quality monitoring

المؤلفون: KSIBI, SONDES, JAIDI, FAOUZI, BOUHOULA, ADEL

المصدر: Journal of Information Science & Engineering; Nov2024, Vol. 40 Issue 6, p1197-1209, 13p

مصطلحات موضوعية: DATABASES, ACCESS control, DATA warehousing, ELECTRONIC data processing, DATA security failures, INTERNET of medical things

المؤلفون: Houichi, Mehdi, Jaidi, Faouzi, Bouhoula, Adel

المصدر: Computers, Materials & Continua; 2024, Vol. 81 Issue 1, p393-441, 49p

مصطلحات موضوعية: SMART cities, INTERNET of things, QUALITY of life, ARTIFICIAL intelligence, INTERNET security

المؤلفون: Bouhoula, Adel, Ida, Tetsuo, Kamareddine, Fairouz

المصدر: EPTCS 122, 2013

مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science, D.1, D.2, D.3, F.3, F.4

URL الوصول: http://arxiv.org/abs/1307.8029

المؤلفون: Souayeh, Nihel Ben Youssef Ben, Bouhoula, Adel

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/1207.3691

المؤلفون: Ghorbel-Talbi, Meriam Ben, Cuppens, Frederic, Cuppens-Boulahia, Nora, Bouhoula, Adel

المصدر: Proceedings of the 15th International Conference on Advanced Computing and Communication (ADCOM'07), 2007

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/1012.2720

المؤلفون: Bouhoula, Adel, Jacquemard, Florent

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation, F.4.1, F.4.2, F.4.3

URL الوصول: http://arxiv.org/abs/0811.4720

المؤلفون: Abboud, Ahmad, Garcia, Rémi, Lahmadi, Abdelkader, Rusinowitch, Michaël, Bouhoula, Adel

المساهمون: Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems (RESIST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Proof techniques for security protocols (PESTO), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), NUMERYX, Arabian Gulf University

المصدر: NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications ; https://inria.hal.science/hal-03036350 ; NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Online conference, France

مصطلحات موضوعية: Packet filtering, Software defined networks, Rule placement, [INFO]Computer Science [cs]

جغرافية الموضوع: Online conference, France

Time: Online conference, France

Relation: hal-03036350; https://inria.hal.science/hal-03036350; https://inria.hal.science/hal-03036350/document; https://inria.hal.science/hal-03036350/file/main.pdf

الاتاحة: https://inria.hal.science/hal-03036350
https://inria.hal.science/hal-03036350/document
https://inria.hal.science/hal-03036350/file/main.pdf

المؤلفون: Abboud, Ahmad, Garcia, Rémi, Lahmadi, Abdelkader, Rusinowitch, Michaël, Bouhoula, Adel

المساهمون: Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems (RESIST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), NUMERYX, Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Proof techniques for security protocols (PESTO), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Arabian Gulf University

المصدر: CNSM 2020 - 16th International Conference on Network and Service Management ; https://inria.hal.science/hal-03036292 ; CNSM 2020 - 16th International Conference on Network and Service Management, Nov 2020, Izmir/Virtual, Turkey

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Izmir/Virtual, Turkey

Relation: hal-03036292; https://inria.hal.science/hal-03036292; https://inria.hal.science/hal-03036292/document; https://inria.hal.science/hal-03036292/file/poster.pdf

الاتاحة: https://inria.hal.science/hal-03036292
https://inria.hal.science/hal-03036292/document
https://inria.hal.science/hal-03036292/file/poster.pdf

المؤلفون: Abboud, Ahmad, Lahmadi, Abdelkader, Rusinowitch, Michael, Couceiro, Miguel, Bouhoula, Adel, Ayadi, Mondher

المساهمون: Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems (RESIST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Proof techniques for security protocols (PESTO), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Knowledge representation, reasonning (ORPAILLEUR), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), NUMERYX, Digital Security Research Unit Tunis (DSRU), Innov'com, Sup'com, University of Carthage Ariana, Tunis, Tunisia, This work is supported by a CIFRE convention between the ANRT (National Association of Research and Technology) and the company NUMERYX Technologies.

المصدر: ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops ; https://hal.science/hal-02547097 ; ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186--193 ; https://www.icin-conference.org/2020/

مصطلحات موضوعية: IP networks, Binary trees, Routing, Internet, Blacklisting, Control systems, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

جغرافية الموضوع: Paris, France

الاتاحة: https://hal.science/hal-02547097
https://hal.science/hal-02547097v1/document
https://hal.science/hal-02547097v1/file/1570605208.pdf

المؤلفون: Aryan, Ramtin, Yazidi, Anis, Engelstad, Paal E., Bouhoula, Adel

المصدر: Conference on Local Computer Networks

مصطلحات موضوعية: OpenFLow anomalies, Auto-correct, Resolving anomalies, Conflicts, Violations

وصف الملف: application/pdf

Relation: 2020 IEEE 45th Conference on Local Computer Networks (LCN); Conference on Local Computer Networks; 2020 IEEE 45th Conference on Local Computer Networks (LCN); Aryan R, Yazidi A, Engelstad P.E., Bouhoula A. Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies. Conference on Local Computer Networks. 2020; urn:isbn:978-1-7281-7158-6; urn:isbn:978-1-7281-7159-3; urn:issn:0742-1303; https://hdl.handle.net/10642/9771; http://doi.org/10.1109/LCN48667.2020.9314851; cristin:1874392

الاتاحة: https://hdl.handle.net/10642/9771
https://doi.org/10.1109/LCN48667.2020.9314851

المؤلفون: Abboud, Ahmad, Lahmadi, Abdelkader, Rusinowitch, Michaël, Couceiro, Miguel, Bouhoula, Adel

المساهمون: Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems (RESIST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Proof techniques for security protocols (PESTO), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Knowledge representation, reasonning (ORPAILLEUR), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Ecole supérieure des communications de Tunis (SUP'COM TUNIS )

المصدر: IFIP Networking 2019 ; https://inria.hal.science/hal-02393008 ; IFIP Networking 2019, May 2019, Varsovie, Poland

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Varsovie, Poland

Relation: hal-02393008; https://inria.hal.science/hal-02393008; https://inria.hal.science/hal-02393008/document; https://inria.hal.science/hal-02393008/file/main.pdf

الاتاحة: https://inria.hal.science/hal-02393008
https://inria.hal.science/hal-02393008/document
https://inria.hal.science/hal-02393008/file/main.pdf

المؤلفون: Sahbi, Amina, Jaidi, Faouzi, Bouhoula, Adel

المصدر: 2023 International Wireless Communications and Mobile Computing (IWCMC)

الاتاحة: http://dx.doi.org/10.1109/iwcmc58020.2023.10182763
http://xplorestaging.ieee.org/ielx7/10182387/10182368/10182763.pdf?arnumber=10182763

المؤلفون: Sahbi, Amina, Jaidi, Faouzi, Bouhoula, Adel

المصدر: 2023 International Wireless Communications and Mobile Computing (IWCMC)

الاتاحة: http://dx.doi.org/10.1109/iwcmc58020.2023.10183024
http://xplorestaging.ieee.org/ielx7/10182387/10182368/10183024.pdf?arnumber=10183024

المؤلفون: Mefteh, Safa, Kaâniche, Mohamed-Bécha, Ksantini, Riadh, Bouhoula, Adel

المساهمون: Innov’Com Lab / Digital Security Lab, Higher School of Communication of Tunis (SUP’COM), University of Carthage, Aryanah, Tunisia, Department of Computer Science, College of IT, University of Bahrain, Manama, Kingdom of Bahrain, Department of Next-Generation Computing, College of Graduate Studies Arabian Gulf University, Manama, Kingdom of Bahrain

المصدر: ISSN: 1380-7501.

مصطلحات موضوعية: colour-depth human posture recognition, corner detector, Multi-spectral HOG descriptor, Machine learning, MCD: Multispectral Corner Detector, CNN, [INFO]Computer Science [cs]

Relation: hal-04017619; https://hal.science/hal-04017619

الاتاحة: https://hal.science/hal-04017619
https://doi.org/10.1007/s11042-023-14788-1

المؤلفون: Bouhoula, Adel, Buchberger, Bruno, Ida, Tetsuo, Kutsia, Temur

المصدر: Annals of Mathematics and Artificial Intelligence ; volume 91, issue 5, page 567-567 ; ISSN 1012-2443 1573-7470

الاتاحة: https://doi.org/10.1007/s10472-023-09870-1
https://link.springer.com/content/pdf/10.1007/s10472-023-09870-1.pdf
https://link.springer.com/article/10.1007/s10472-023-09870-1/fulltext.html

المؤلفون: Bouhoula, Adel, Buchberger, Bruno, Ida, Tetsuo, Kutsia, Temur

المساهمون: Austrian Science Fund

المصدر: Annals of Mathematics and Artificial Intelligence ; volume 91, issue 5, page 563-565 ; ISSN 1012-2443 1573-7470

الاتاحة: http://dx.doi.org/10.1007/s10472-023-09846-1
https://link.springer.com/content/pdf/10.1007/s10472-023-09846-1.pdf
https://link.springer.com/article/10.1007/s10472-023-09846-1/fulltext.html

المؤلفون: Sayadi, Sirine, Abbes, Tarek, Bouhoula, Adel

المساهمون: High School of Communication of Tunis (Sup'com), Université de Carthage - University of Carthage, Université de Sfax - University of Sfax

المصدر: 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA)
https://hal.archives-ouvertes.fr/hal-02381398
2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA), Oct 2017, Hammamet, Tunisia. pp.1247-1252, ⟨10.1109/AICCSA.2017.60⟩

مصطلحات موضوعية: Network Security, Covert Channel, Storage Chan- nel, Traffic analysis, ICMP protocol, ICMP Tunneling, Tunneling Detection, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [SPI]Engineering Sciences [physics]

جغرافية الموضوع: Hammamet, Tunisia

Relation: hal-02381398; https://hal.archives-ouvertes.fr/hal-02381398; https://hal.archives-ouvertes.fr/hal-02381398/document; https://hal.archives-ouvertes.fr/hal-02381398/file/AICCSA%202017%20sirine%20sayadi.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-02381398
https://hal.archives-ouvertes.fr/hal-02381398/document
https://hal.archives-ouvertes.fr/hal-02381398/file/AICCSA%202017%20sirine%20sayadi.pdf
https://doi.org/10.1109/AICCSA.2017.60