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