system development processes, as well as the required content and structure of
assurance case artifacts.The most significant of these efforts are described below.
5.1.4.2.1 UK Ministry of Defence SafSec
SafSec [114] is an assurance methodology developed by Praxis High Integrity