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.

Authors

Simon S. Lam

This author has not been identified. Look up 'Simon S. Lam' in Google

A. Udaya Shankar

This author has not been identified. Look up 'A. Udaya Shankar' in Google

Thomas Y. C. Woo

This author has not been identified. Look up 'Thomas Y. C. Woo' in Google