An Event-Based Unified System Model to Characterize and Evaluate Timing Covert Channels.
Pradhumna Lal ShresthaMichael HempelHamid SharifHsiao-Hwa ChenPublished in: IEEE Syst. J. (2016)
Keyphrases
- unified model
- formal model
- theoretical framework
- probabilistic model
- statistical model
- mathematical model
- high level
- prior knowledge
- management system
- parameter values
- simulation model
- sensitivity analysis
- markov chain
- neural network
- probability distribution
- mobile robot
- expert systems
- similarity measure
- machine learning