Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=284346
Copy and paste this citation
ANINDYA BANERJEE
and DAVID A. NAUMANN
(2005).
Stack-based access control and secure information flow. Journal of Functional Programming, 15
,
pp 131-177
doi:10.1017/S0956796804005453