Noninterference in the Presence of Non-Opaque Pointers.

Daniel Hedin David Sands

Published in: CSFW (2006)

Keyphrases

security policies
database
real world
case study
high quality
learning environment
object recognition
data analysis
lower bound
pairwise
distributed systems