Gerking et al.
The approach in this paper enables for cyber-physical systems the specification of information flow policies and the analysis of timing based information flow (https://doi.org/10.1109/ICSA.2019.00015)
Security DSLs provided by the Tool
Name
Description
The DSL extends mechatronic UML with sensitivities of data received by or send from ports in components
Security Checks provided by the Tool
Name
Description
The analysis detects whether timing-based information flow leaks exist