1. A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study. Issue 127 (April 2023) Authors: Braghin, Chiara; Lilli, Mario; Riccobene, Elvinia Journal: Computers & security Issue: Issue 127(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗