situations in which a compelling case needs to be made that the system satisfies its
critical properties for use in specific contexts, such as healthcare or avionics.
There is a growing academic trend in Europe whereby software safety
research is being extended to include software security. Consistent with this