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

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