Dynamic security labels and noninterference (2004)

by L Zheng, A C Myers
Venue:In Proc. Workshop Formal Aspects in Security and Trust