Stack-based access control and secure information flow (2005)

by A Banerjee, D A Naumann
Venue:Journal of Functional Programming