Enforcing stateful authorization and information flow policies in Fine (2010)

by N Swamy, J Chen, R Chugh
Venue:In Proc. European Symposium on Programming (ESOP