An opacity approach for security exposure of IoT components in critical infrastructures.

Riccardo Colelli, Chiara Foglietta, Stefano Panzieri, Federica Pascucci

Browse the full SMC paper archive.