1. Analysis of information flow security in cyber–physical systems;Akella;Int. J. Crit. Infrastruct. Prot.,2010
2. Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies;Barrère;J. Inf. Secur. Appl.,2020
3. Tracking sensitive and untrustworthy data in IoT;Bodei,2017
4. Analysing the provenance of IoT data;Bodei,2019