Information Flow Analysis via Path Condition Refinement.

Mana Taghdiri Gregor Snelting Carsten Sinz

Published in: Formal Aspects in Security and Trust (2010)

Keyphrases

flow analysis
information flow
information sources
higher level
keywords
spatial information
temporal information
relational databases
domain knowledge
end users
knowledge management
information retrieval
image sequences
information processing
contextual information
information seeking
website
decision making