Sign in
On the Complexity of Generating Gate Level Information Flow Tracking Logic.
Wei Hu
Jason Oberg
Ali Irturk
Mohit Tiwari
Timothy Sherwood
Dejun Mu
Ryan Kastner
Published in:
IEEE Trans. Inf. Forensics Secur. (2012)
Keyphrases
</>
information flow
social networks
communication networks
logic programming
real time
information flows
flow graph
flow analysis
modal logic
database
random walk
distributed databases
particle filter
supply chain
functional modules
multi threaded
decision making
databases