Applying a Theory of Modules and Interfaces to Security Verification

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.

Abstract

Abstract is missing.