Dynamic security labels and static information flow control. (2007)

by Lantian Zheng, Andrew C Myers
Venue:International Journal of Information Security,