Publications are listed on a separate page.
A software system shall process data with respect to the modeled confidentiality require- ments. To verify such confidentiality requirements in code, one needs proof obligations. We are currently working on an approach to generate such proof obligations from a software ar- chitecture model. A crucial issue here is to keep information consistent across abstract con- fidentiality...