Static Gate-Level Information Flow for Hardware Information Security with Bounded Model Checking.
Yiqiang ZhaoGonsen QuQizhi ZhangYao LiZhengyang LiJiaji HePublished in: VTS (2024)
Keyphrases
- information security
- information flow
- security level
- bounded model checking
- countermeasures
- security issues
- information systems
- flow analysis
- smart card
- information flows
- intrusion detection
- network security
- information security management
- smart grid
- flow graph
- low cost
- formal verification
- information assurance
- cyber defense
- model checking
- e government
- security risks
- risk assessment
- linear temporal logic
- reinforcement learning
- reactive systems
- data analysis