Secure Composition of Untrusted Code: Wrappers and Causality Types

Peter Sewell, Jan Vitek. Secure Composition of Untrusted Code: Wrappers and Causality Types. In CSFW. pages 269-284, 2000. [doi]

Abstract

Abstract is missing.