A Dynamic Verification Model based on Information Flow Constraint.

Dan Wang Yan Lu Li-Hua Fu Wenbing Zhao

Published in: Int. J. Comput. Intell. Syst. (2013)

Keyphrases

information flow
flow analysis
social networks
information flows
communication networks
information security
dynamic environments
model checking
dynamic aspects
databases
data processing
supply chain
autonomous agents
object oriented
functional modules
multi threaded
case study
information systems