Verified enforcement of stateful information release policies.

Nikhil Swamy Michael Hicks

Published in: ACM SIGPLAN Notices (2008)

Keyphrases

information retrieval
information systems
information processing
neural network

domain knowledge
higher level
information sources
data sets

artificial intelligence
website
image sequences
keywords

context aware
web documents
structural information