Codes of medical ethics issued by professional organizations typically contain statements affirming the importance of confidentiality between patients and health-care practitioners. Seldom, however, is the confidentiality obligation depicted as absolute. Instead, exceptions are noted, the most common of which is that health-care professionals are justified in breaching the confidence of a patie...

This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He’s Unifying Theories of Programming (UTP) to do so and derive advantage from this choice. We identify how information flow between users can be modelled in the UTP and devise conditions for verifying that system designs may not leak secret informati...

ions Preserving Parameter Confidentiality ? Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph Fraunhofer – Institute for Secure Information Technology SIT, Germany {guergens,ochsenschlaeger,rudolphc}@sit.fraunhofer.de Abstract. Confidentiality of certain parameters is an essential security Confidentiality of certain parameters is an essential security requirement for many security sensitive...