Formalization of design patterns for security and dependability

Abstract

In critical systems, failures or attacks based on software misconceptions can have catastrophic consequences. In order to avoid those situations, such systems need security and dependability (S&D) constraints. Usually S&D design patterns shape S&D mechanisms. Security and dependability experts identify S&D mechanisms to reach S&D objectives and manually… (More)
DOI: 10.1145/2465470.2465476

Topics

5 Figures and Tables

Slides referencing similar topics