D.A.: Stack-based access control and secure information flow (2005)

by A Banerjee, Naumann
Venue:J. Funct. Program