Approximate Non-Interference (2002)

by Alessandra Di Pierro , Chris Hankin , Herbert Wiklicky
Venue:JOURNAL OF COMPUTER SECURITY
Citations:95 - 11 self