Login / Signup
An Automata Based Approach for Verifying Information Flow Properties.
Deepak D'Souza
K. R. Raghavendra
Barbara Sprick
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
information flow
flow analysis
information flows
flow graph
supply chain
social networks
information security
cellular automata
communication networks
databases
database systems
object oriented
data management
regular expressions
finite state machines
multi threaded