Precise Information Flow Analysis by Program Verification.

Christopher Landauer Stephen D. Crocker

Published in: IEEE Symposium on Security and Privacy (1982)

Keyphrases

flow analysis
information flow
information sharing
higher level
contextual information
database
databases
keywords
user interface
information sources
web documents
prior information