compliance with safety regulations. However, the concept of security assurance
cases has become inculcated through the CC evaluation process, where they
take the form of Security Target documents.
The need for assurance cases is widely acknowledged in the software