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

Browse the full ENASE paper archive.