Khalifa Toumi

According to our database, Khalifa Toumi authored at least 35 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A comprehensive survey on blockchain-based C-ITS applications: Classification, challenges, and open issues.

Souad BelMannoubi, Haifa Touati, Mohamed Hadded, Khalifa Toumi, Oyunchimeg Shagdar, Farouk Kamoun

Veh. Commun., October, 2023

2021

UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones.

Azza Allouch, Omar Cheikhrouhou, Anis Koubâa, Khalifa Toumi, Mohamed Khalgui, Tuan Nguyen Gia

Sensors, 2021

Blockchain based Privacy Aware Distributed Access Management Framework for Industry 4.0.

Asma Lahbib, Khalifa Toumi, Anis Laouiti, Steven Martin

Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

2020

A novel data exploitation framework based on blockchain.

Omar Dib, Clément Huyart, Khalifa Toumi

Pervasive Mob. Comput., 2020

A Trust Framework for Centralized TDMA Scheduling Mechanism in Vehicular Ad hoc Networks.

Mohamed Hadded, Khalifa Toumi, Anis Laouiti, Paul Mühlethaler

Int. J. Interdiscip. Telecommun. Netw., 2020

A novel credential protocol for protecting personal attributes in blockchain.

Kalpana Singh, Omar Dib, Clément Huyart, Khalifa Toumi

Comput. Electr. Eng., 2020

The StakeCube blockchain : Instantiation, Evaluation & Applications.

Antoine Durand, Guillaume Hébert, Khalifa Toumi, Gérard Memmi, Emmanuelle Anceaume

Proceedings of the 2020 Second International Conference on Blockchain Computing and Applications, 2020

An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.

Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin

Proceedings of the Advanced Information Networking and Applications, 2020

2019

Blockchain based trust management mechanism for IoT.

Asma Lahbib, Khalifa Toumi, Anis Laouiti, Alexandre Laubé, Steven Martin

Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

DRMF: A Distributed Resource Management Framework for Industry 4.0 Environments.

Asma Lahbib, Khalifa Toumi, Anis Laouiti, Steven Martin

Proceedings of the 18th IEEE International Symposium on Network Computing and Applications, 2019

2018

A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System.

Khalifa Toumi, Mohamed H. E. Aouadi, Ana R. Cavalli, Wissam Mallouli, Jordi Puiggalí Allepuz, Pol Valletb Montfort

Comput. J., 2018

N-Combat: A Nuisance Call Combating Framework for Internet Telephony.

Ibrahim Tariq Javed, Khalifa Toumi, Noël Crespi

Proceedings of the 17th IEEE International Conference On Trust, 2018

2017

TrustCall: A Trust Computation Model for Web Conversational Services.

Ibrahim Tariq Javed, Khalifa Toumi, Noël Crespi

IEEE Access, 2017

ProtectCall: Call Protection Based on User Reputation.

Ibrahim Tariq Javed, Khalifa Toumi, Noël Crespi

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Link reliable and trust aware RPL routing protocol for Internet of Things.

Asma Lahbib, Khalifa Toumi, Sameh Elleuch, Anis Laouiti, Steven Martin

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

Preserving confidentiality during the migration of virtual SDN topologies: A formal approach.

Fabien Charmet, Richard Waldinger, Gregory Blanc, Christophe Kiennert, Khalifa Toumi

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

Adaptive Policy-driven Attack Mitigation in SDN.

Rishikesh Sahay, Gregory Blanc, Zonghua Zhang, Khalifa Toumi, Hervé Debar

Proceedings of the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures, 2017

2016

Reputation trust mechanism under the organizational-based access control model.

Khalifa Toumi, Hela Sfar, Joaquín García-Alfaro

Secur. Commun. Networks, 2016

Formal framework for defining trust in multi-organisation environment.

Khalifa Toumi, César Andrés, Ana R. Cavalli

Int. J. Auton. Adapt. Commun. Syst., 2016

Usage Control Policy Enforcement in SDN-Based Clouds: A Dynamic Availability Service Use Case.

Khalifa Toumi, Muhammad Sabir Idrees, Fabien Charmet, Reda Yaich, Gregory Blanc

Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

Br2Br: A Vector-Based Trust Framework for WebRTC Calling Services.

Ibrahim Tariq Javed, Khalifa Toumi, Noël Crespi, Amir Mohammadinejad

Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

2015

An Active Testing Tool for Security Testing of Distributed Systems.

Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli

Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015

2014

A trust framework for multi-organization environments. (Un système de confiance pour les environnements multi-organisationnels).

Khalifa Toumi

PhD thesis, 2014

Validation of a Trust Approach in Multi-Organization Environments.

Khalifa Toumi, Ana R. Cavalli, César Andrés

Int. J. Secur. Softw. Eng., 2014

Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study.

Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli

CoRR, 2014

How to Evaluate Trust Using MMT.

Khalifa Toumi, Wissam Mallouli, Edgardo Montes de Oca, César Andrés, Ana R. Cavalli

Proceedings of the Network and System Security - 8th International Conference, 2014

On Modeling and Testing Security Properties of Vehicular Networks.

Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

A Formal Approach to Automatic Testing of Security Policies Specified in XACML.

Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014

ISER: A Platform for Security Interoperability of Multi-source Systems.

Khalifa Toumi, Fabien Autrel, Ana R. Cavalli, Sammy Haddad

Proceedings of the Risks and Security of Internet and Systems, 2014

2013

Trust Ontology Based on Access Control Parameters in Multi-organization Environments.

Khalifa Toumi, César Andrés, Ana R. Cavalli

Proceedings of the Ninth International Conference on Signal-Image Technology & Internet-Based Systems, 2013

Security Properties in Virtual Organizations.

Khalifa Toumi, César Andrés, Ana R. Cavalli

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

2012

Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments.

Khalifa Toumi, César Andrés, Ana R. Cavalli

Proceedings of the Information Systems Security, 8th International Conference, 2012

Role based interoperability security policies in collaborative systems.

Khalifa Toumi, Ana R. Cavalli, Mazen El Maarabani

Proceedings of the 2012 International Conference on Collaboration Technologies and Systems, 2012

A vector based model approach for defining trust in Multi-Organization Environments.

Khalifa Toumi, César Andrés, Ana R. Cavalli, Mazen El Maarabani

Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

2010

HAT: HIP Address Translation protocol for Hybrid RFID/IP Internet of Things communication.

Khalifa Toumi, Mouna Ayari, Leïla Azouz Saïdane, Mathieu Bouet, Guy Pujolle

Proceedings of the International Conference on Wireless and Ubiquitous Systems , 2010