Monitor Generation for Security and Testing Proposes
Our research is located in the subproject Secure Things at CASED (Center for Advanced Security Research Darmstadt) that deals with security of embedded systems. We are developing a monitor development process, which allows automatic generation of monitors from specifications of the requirements phase (use/misuse cases and Live Sequence Charts). These monitors will be able to observe messages that are sent and received from embedded systems to recognize possible attacks. The generated monitors can be a wrapper around the system or an independent central. Later, reasonable reactions to attacks should be performed that allow systems to reconstitute themselves.
These monitors can be used in the context of securing embedded systems by observation, but also in the context of testing.