Verified enforcement of stateful information release policies.

Nikhil Swamy Michael Hicks

Published in: PLAS (2008)

Keyphrases

artificial intelligence
domain knowledge
access control
information sources
information content
information overload
search engine
website
prior knowledge
information extraction
structural information
prior information
private information