在幺半范畴中追踪中间人

中间人（Man-in-the-Middle，MM）不仅是安全领域中普遍存在的攻击模式，也是网络计算和经济学中的一个重要范式。识别正在进行的 MM 攻击是一项重要的安全任务；对 MM 交互进行建模是计算语义学中一项有趣的任务。迹幺半范畴是 MM 建模的自然框架，因为迹结构提供了一种隐藏“中间”发生之事的手段。对已被迹出的内容进行有效分析似乎需要迹的一个附加性质，称为“正规性”。我们描述了一个基于偏序多重集（pomsets）的适度网络计算模型，其中基本的网络交互源自幺半迹结构，而正规迹结构则源自计算和通信中使用的项和消息上的迭代（即余代数）结构。这种对应关系是通过对正规迹幺半范畴的方便单子描述建立的。