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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Relational Channels and Noninterference

  • Dusko Pavlovic,
  • Peter-Michael Seidel

摘要

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.