Downgrading policies and relaxed noninterference (2005)

by Peng Li, Steve Zdancewic
Venue:In Proceedings of POPL ’05