Programming language methods in computer security

John C. Mitchell
2001 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01  
Plan uPerspective on computer security uProtocol security
doi:10.1145/360204.360205 dblp:conf/popl/Mitchell01 fatcat:lyouxkydtrgpthu4eobclsr47e