( en | de | ru )

 

Disambiguation of "Toumi, Khalifa"

Author of the publication

copydeleteadd this publication to your clipboard
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.

, , , , and . AINA, volume 1151 of Advances in Intelligent Systems and Computing, page 1303-1318. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Khalifa Toumi

Asma Toumi

Abdelaziz Toumi

Ingrid Toumi

Leyla Toumi

 

Other publications of authors with the same name

UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones., , , , , and . Sensors, 21 (9): 3049 (2021)DRMF: A Distributed Resource Management Framework for Industry 4.0 Environments., , , and . NCA, page 1-9. IEEE, (2019)Adaptive Policy-driven Attack Mitigation in SDN., , , , and . XDOMO@EuroSys, page 4:1-4:6. ACM, (2017)A Trust Framework for Centralized TDMA Scheduling Mechanism in Vehicular Ad hoc Networks., , , and . Int. J. Interdiscip. Telecommun. Netw., 12 (4): 74-87 (2020)A comprehensive survey on blockchain-based C-ITS applications: Classification, challenges, and open issues., , , , , and . Veh. Commun., (October 2023)Blockchain based trust management mechanism for IoT., , , , and . WCNC, page 1-8. IEEE, (2019)A novel data exploitation framework based on blockchain., , and . Pervasive Mob. Comput., (2020)A novel credential protocol for protecting personal attributes in blockchain., , , and . Comput. Electr. Eng., (2020)Blockchain based Privacy Aware Distributed Access Management Framework for Industry 4.0., , , and . WETICE, page 51-56. IEEE, (2021)An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts., , , , and . AINA, volume 1151 of Advances in Intelligent Systems and Computing, page 1303-1318. Springer, (2020)