Secure composition of untrusted code: box π, wrappers, and causality types
Peter Sewell, Jan Vítek · Journal of Computer Security · 2003
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller components that interact in intricate ways. Some components will be downloaded fr