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


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


  • Presentations referencing similar topics