Secure Composition of Insecure Components (1999)

by Peter Sewell , Jan Vitek
Venue:In 12th IEEE Computer Security Foundations Workshop (CSFW-12
Citations:34 - 8 self