A Language-Based Approach to Security

Fred B. Schneider, J. Gregory Morrisett, Robert Harper. A Language-Based Approach to Security. In Reinhard Wilhelm, editor, Informatics - 10 Years Back. 10 Years Ahead. Volume 2000 of Lecture Notes in Computer Science, pages 86-101, Springer, 2001. [doi]

Authors

Fred B. Schneider

This author has not been identified. Look up 'Fred B. Schneider' in Google

J. Gregory Morrisett

This author has not been identified. Look up 'J. Gregory Morrisett' in Google

Robert Harper

Identified as Robert Harper