Lantian Zheng Andrew C. Myers Dynamic security labels and static information flow control. 67-84 2007 6 Int. J. Inf. Sec. 2-3 http://dx.doi.org/10.1007/s10207-007-0019-9 db/journals/ijisec/ijisec6.html#ZhengM07