Login / Signup
Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation.
Amina Jandoubi
Mohamed Taha Bennani
Olfa Mosbahi
Abdelaziz El Fazziki
Published in:
ENASE (2024)
Keyphrases
</>
model checker
model checking
formal verification
description language
temporal logic
formal methods
attack scenarios
artificial intelligence
object oriented
test suite
set theory
alert correlation
neural network
data warehouse