SysML Extension by AADL Specification for WSN Modeling

Autor: Hilmani Adil, Lasfar Youssef, Maizate Abderrahim, Zakari Abdelouahed

Publikováno v: Distributed Sensing and Intelligent Systems ISBN: 9783030642570

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::07323873fc5ccbbae8801d7d90645b40
https://doi.org/10.1007/978-3-030-64258-7_50

Cyber Security and the Internet of Things : vulnerabilities and Security requirements

Autor: Aouad, Siham, Maizate, Abderrahim, ZAKARI, Abdelouahed

Publikováno v: Revue Méditerranéenne des Télécommunications=Mediterranean Telecommunication Journal
Revue Méditerranéenne des Télécommunications=Mediterranean Telecommunication Journal, CNRST-IMIST, 2019, 9 (2)

International audience; The Internet of Things (IoT) enables billions of embedded computing devices to connect to each other. It includes various kinds of devices, e.g., sensors, actuators, RFID tags, or smartphones, which are very different in terms

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::76287fa34da87b5e005da676ccbedaca
https://hal.univ-lorraine.fr/hal-03233370

Data Security and access management in Cloud Computing: capability list-based cryptography

Autor: Aissaoui, Khalid, Belhadaoui, Hicham, ZAKARI, Abdelouahed, Rifi, Mounir

Publikováno v: International Journal of Computer Science and Information Security
International Journal of Computer Science and Information Security, IJCSIS, 2016, 14 (11), pp.598-605

International audience; A new paradigm in information technology has emerged this last years and continues to grow. Cloud computing is quite a new concept that has potential advantages; computing capacity provided as needed, much lower cost than in-h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f2bc9e5f5adb0936370b4b5d9d281649
https://hal.univ-lorraine.fr/hal-03233366

Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions.

Autor: Eljadiri, Lamia, Assayad, Ismail, Zakari, Abdelouahed

Publikováno v: ACM International Conference Proceeding Series; 10/18/2018, p166-171, 6p

A Novel Architecture Prototyping Framework With Generic Properties Verification for Sub-architectures.

Autor: Assayad, Ismail^1,2 iassayad@gmail.com, Eljadiri, Lamia³ lamia.eljadiri@taalim.ma, Krichen, Moez⁴ moez.krichen@redcad.org, Zakari, Abdelouahed⁵ abdelouahed.zakari@univ-lorraine.fr, Adoni, Wilfried³ adoniwilfried@gmail.com, Nahhal, Tarik⁶ nahhalprof@gmail.com

Publikováno v: Engineering Letters. Jun2021, Vol. 29 Issue 2, p634-644. 11p.