Sinfer: Inferring information flow lattices for checking self-stabilization.

Yong Hun Eom Brian Demsky

Published in: ISSRE (2013)

Keyphrases

information flow
flow analysis
information flows
social networks
information security
communication networks
flow graph
multi context systems
multi threaded
supply chain
concept lattice
databases
multi agent
information technology
information propagation