Downgrading policies and relaxed noninterference.

Peng Li, Steve Zdancewic

Browse the full POPL paper archive.