Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo. Applying a Theory of Modules and Interfaces to Security Verification. In IEEE Symposium on Security and Privacy. pages 136-155, 1991.
No references recorded for this publication.
No citations of this publication recorded.