The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols.

Gaétan Hains M. Bergeron

Published in: IASTED PDCS (2002)

Keyphrases

information flow
flow analysis
social networks
information flows
communication networks
information security
functional modules
multi context systems
supply chain
multi threaded
state space
distributed systems
development process
information diffusion
knowledge discovery
reactive systems
data mining
flow graph