Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.

Mihai Herda Shmuel S. Tyszberowicz Bernhard Beckert

Published in: TAP@STAF (2018)

Keyphrases

information flow
information security
flow analysis
communication networks
test generation
social networks
supply chain
information flows
formal verification
functional modules
database systems
multi threaded
information propagation
software engineering
model checking
smart card