Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns.

Roman Trentinaglia

Browse the full MODELS paper archive.