Rutgers University, Department of Computer Science Technical Report 667; Piscataway, New Jersey, April 2010.
An updated version of this technical report appears in Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010). The technical report is provided here only for reference.
Technical report:
[
PDF
]