ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Riding the data storms: specifying and analysing IoT security requirements with SURFING

Time: Thursday, 31.10

Room: Room 2

Authors: Gian Luigi Ferrari, Francesco Rubino, Chiara Bodei

Abstract: