Secure composition of insecure components

Proceedings of the 12th IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1999.779769 ◽

2003 ◽

Author(s):

P. Sewell ◽

J. Vitek

Download Full-text