日期:
2020 年 — 2026 年
2020
2021
2022
2023
2024
2025
2026
影响因子:

Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets

基于语言的标记Petri网框架下的不透明度验证与强制执行

Habbachi, Salwa; Li, Zhiwu; Wu, Naiqi; Khalgui, Mohamed

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

UTM-Chain:基于区块链的无人机互联网安全无人机交通管理系统

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