Theorem proof based gate level information flow tracking for hardware security verification.
Maoyuan QinWei HuXinmu WangDejun MuBaolei MaoPublished in: Comput. Secur. (2019)
Keyphrases
- information flow
- information security
- real time
- flow analysis
- information flows
- communication networks
- low cost
- multi threaded
- functional modules
- application level
- interactive theorem proving
- multi context systems
- particle filter
- supply chain
- model checking
- emergency management
- security level
- flow graph
- social networks
- reactive systems
- information propagation
- information systems
- hardware designs
- distributed environment
- formal methods
- intrusion detection
- computer systems
- integrity verification