Approximate noninterference (2002)

by Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Venue:In Proc. 15th IEEE Computer Security Foundations Workshop