Flow locks: Towards a core calculus for dynamic flow policies,” (2006)

by N Broberg, D Sands
Venue:in Programming Languages and Systems,