Paralocks: role-based information flow control and beyond (0)

by N BROBERG, D SANDS
Venue:In SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2010), POPL ’10