A semantic approach to secure information flow.

Rajeev Joshi K. Rustan M. Leino

Published in: Sci. Comput. Program. (2000)

Keyphrases

data integration
information flow
databases
information flows
flow analysis
communication networks
social networks
data warehouse
natural language
supply chain
information security
multi threaded
functional modules
semantic web
database
semantic information
information propagation
flow graph
multi context systems