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.
@inproceedings{LamSW91, title = {Applying a Theory of Modules and Interfaces to Security Verification}, author = {Simon S. Lam and A. Udaya Shankar and Thomas Y. C. Woo}, year = {1991}, tags = {C++, security}, researchr = {https://researchr.org/publication/LamSW91}, cites = {0}, citedby = {0}, pages = {136-155}, booktitle = {IEEE Symposium on Security and Privacy}, }