Secure Composition of Insecure Components

Peter Sewell, Jan Vitek. Secure Composition of Insecure Components. In CSFW. pages 136-150, 1999. [doi]

Abstract

Abstract is missing.