H.: Approximate Non-Interference (2004)

by A Di Pierro, C Hankin, Wiklicky
Venue:Journal of Computer Security