Building Covert Timing Channel of the IoT-Enabled MTS Based on Multi-Stage Verification.
Chen LiangThar BakerYuanzhang LiRaheel NawazYu-an TanPublished in: IEEE Trans. Intell. Transp. Syst. (2023)
Keyphrases
- multistage
- dynamic programming
- production system
- single stage
- asynchronous circuits
- stochastic programming
- lot sizing
- management system
- stochastic optimization
- cloud computing
- assembly systems
- optimal policy
- information flow
- decision making
- big data
- model checking
- moving target
- production line
- multi channel
- machine learning