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: Francesco Rubino, Chiara Bodei, Gian Luigi Ferrari