用C2KA表示通信条件势
A Formulation of the Potential for Communication Condition using C2KA
摘要：
保护通信代理的系统免受隐蔽通道通信的不可分割的部分是具有识别隐蔽通道何时可能存在于给定系统中以及哪些代理比其他代理更倾向于隐蔽通道的能力。在本文中，我们提出了一个制定的必要条件之一，隐蔽通道的存在：潜在的通信条件。然后，我们讨论了潜在的通信路径中的系统代理修改后，当通信的潜力被保存。我们的方法是基于通信并发Kleene代数（C2KA）的数学框架。虽然现有的方法只考虑通过共享环境进行通信的潜力，本文提出的方法还考虑了通过外部刺激进行通信的潜力。
英文摘要：
An integral part of safeguarding systems of communicating agents from covert channel communication is having the ability to identify when a covert channel may exist in a given system and which agents are more prone to covert channels than others. In this paper, we propose a formulation of one of the necessary conditions for the existence of covert channels: the potential for communication condition. Then, we discuss when the potential for communication is preserved after the modification of system agents in a potential communication path. Our approach is based on the mathematical framework of Communicating Concurrent Kleene Algebra (C2KA). While existing approaches only consider the potential for communication via shared environments, the approach proposed in this paper also considers the potential for communication via external stimuli.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
