Gate-Level Information Flow Tracking for Security Lattices.
Wei HuDejun MuJason ObergBaolei MaoMohit TiwariTimothy SherwoodRyan KastnerPublished in: ACM Trans. Design Autom. Electr. Syst. (2014)
Keyphrases
- information flow
- information security
- communication networks
- security level
- information flows
- flow analysis
- supply chain
- real time
- social networks
- flow graph
- particle filter
- information propagation
- databases
- intrusion detection
- functional modules
- reactive systems
- random walk
- access control
- object oriented
- multi context systems