Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security

Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph. Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security. JIP, 19:274-291, 2011. [doi]

Abstract

Abstract is missing.