The purpose of this paper is to give a comprehensive view of methods, models, tools and
techniques that have been created in safety engineering and transposed to security …

Abstract Security Assurance Cases (SAC) are a form of structured argumentation used to
reason about the security properties of a system. After the successful adoption of assurance …

Security certification establishes that a given system satisfies properties and constraints as
specified in the system security profile. Mechanisms and techniques have been developed …

Background Thanks to the advancement of technology in the late 20th Century, particularly
in electronics, computers, and the internet, industries have grown, the economy has …

Assuring the security of software-dependent systems in the face of cyber-attacks and failures
is now among the top priorities for governments and providers of electric, financial …

This report introduces and provides an overview of assurance cases including theory,
practice, and evaluation. This report includes a section that introduces the principles …

Security Assurance Cases (SAC) are structured arguments and evidence bodies used to
reason about the security of a certain system. SACs are gaining focus in the automotive …

This paper presents an approach and tools for automatic generation of security assurance
case fragments using patterns for arguing the security of cyber physical systems. The …

Assurance cases are structured arguments that are commonly used to reason about the
safety of a product or service. Currently, there is an ongoing push towards using assurance …

Cybercrime is not only a social ill but it does also pose a tremendous threat to our virtual
world of personal, corporate and national data security. The recent global cyberattack of …