Relational Channels and Noninterference
摘要
We live in networks and interact through network channels. Each network node has its own time and space and uses channels to synchronize and coordinate with other nodes. But the channel signals are vulnerable to scrambling, interference, and inference. How can the network node inhabitants detect attacks and secure the channels? In this chapter, we introduce a simple relational view of channel interactions and the reasoning formats that they support.