A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Programming language methods in computer security
2001
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01
Preserved Fulltext
Plan uPerspective on computer security uProtocol security
doi:10.1145/360204.360205
dblp:conf/popl/Mitchell01
fatcat:lyouxkydtrgpthu4eobclsr47e