Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication.
Yongwang ZhaoDavid SanánFuyuan ZhangYang LiuPublished in: TACAS (2016)
Keyphrases
- information flow
- communication networks
- information security
- information flows
- communication channels
- physical layer
- social networks
- flow analysis
- communication systems
- flow graph
- wireless communication
- kernel function
- distributed databases
- communication protocols
- network structure
- distributed teams
- multi context systems
- high data rate
- multi threaded
- functional modules
- emergency management
- resource constrained
- computer networks
- fading channels
- information propagation