Confidentiality is a principal corollary to medical treatment. It is founded on two main principles: first, there is the physician-patient relationship; only a patient who fully relies upon the physicians’ confidentiality will reveal personal and intimate details about his state of health. The second is keeping the patient’s secrets, which is essential for public confidence in the medical profe...

We present an architectural framework for systematically using automated diversity to provide high assurance detection and disruption for large classes of attacks. The framework executes a set of automatically diversified variants on the same inputs, and monitors their behavior to detect divergences. The benefit of this approach is that it requires an attacker to simultaneously compromise all s...

We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different epistemic interpretations for these relations are discussed: semantics of secrets and probabilistic semantics. A logical system sound and complete with respect to both of these semantics is introduced and is shown to be ...

From the Gifford Laboratories of the Touchstone Center for Diabetes Research, University of Texas Southwestern Medical Center, 5323 Harry Hines Blvd., Dallas, TX 75390-8854; Department of Cell Physiology and Metabolism, University Medical Center, 1 rue Michel Servet, 1211-Geneva 4, Switzerland; Department of Molecular Genetics, University of Texas Southwestern Medical Center, Dallas, TX 75390; ...