Dynamic security labels and noninterference (2004)

by L Zheng, A C Myers
Venue:In Proc. 2nd Workshop on Formal Aspects in Security and Trust, IFIP TC1 WG1.7