Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems

Abstract

Code verification techniques can be used to guarantee that some of the information processed in software systems remains confidential. For this, allowed information flows have to be specified for the system under analysis. Reducing the specification overhead could render code verification feasible where verification was considered too complex or costly so… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics