Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication.
Yongwang ZhaoDavid SanánFuyuan ZhangYang LiuPublished in: CoRR (2015)
Keyphrases
- information flow
- communication networks
- information flows
- information security
- communication channels
- physical layer
- flow analysis
- social networks
- supply chain
- multi threaded
- flow graph
- distributed teams
- high data rate
- communication protocols
- communication systems
- reactive systems
- computer networks
- kernel function
- data analysis
- support vector
- functional modules
- distributed systems
- case study