On the Composition of Secure Systems

Heiko Mantel. On the Composition of Secure Systems. In IEEE Symposium on Security and Privacy. pages 88, 2002. [doi]