Verified Safety and Information Flow of a Block Device.

Paul T. Graunke

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

information flow
flow analysis
social networks
communication networks
supply chain
information flows
functional modules
multi threaded
information security
flow graph
information propagation
social media
real world
information diffusion
online social networks
multi agent
databases