Login / Signup
A Semi-formal Information Flow Validation for Analyzing Secret Asset Propagation in COTS IC Integrated Systems.
Xingyu Meng
Mahmudul Hasan
Kanad Basu
Tamzidul Hoque
Published in:
ACM Great Lakes Symposium on VLSI (2022)
Keyphrases
</>
information flow
reactive systems
information flows
distributed systems
software components
dynamic aspects
multi context systems
social networks
flow graph
flow analysis
formal methods
communication networks
random walk
computer systems
decision support
supply chain
case study