Applying a Theory of Modules and Interfaces to Security Verification.

Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo

Browse the full SP paper archive.