Programming language methods in computer security

John C. Mitchell
2001 SIGPLAN notices  
Plan uPerspective on computer security uProtocol security
doi:10.1145/373243.360205 fatcat:goxv5ofrifhmveq2egwh2bnnka