Alessandra Di Pierro Chris Hankin Herbert Wiklicky Approximate Non-interference. 37-82 2004 12 Journal of Computer Security 1 db/journals/jcs/jcs12.html#PierroHW04