software safety cases to also address the need to establish and verify software
security properties. The SafSec standard developed by Praxis High Integrity
Systems for the United Kingdom Ministry of Defence (UK MOD) is an example
of such a standard for a “hybrid” safety/security assurance case for software.