Sign in
A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata.
Moez Krichen
Roobaea Alroobaea
Published in:
ENASE (2019)
Keyphrases
</>
cyber attacks
timed automata
expert systems
context aware
lightweight
first order logic
security measures
machine learning
decision trees
intrusion detection
theorem proving
service integration
smart cities