调查

间谍:全球协议的本地验证。本文提出了一种用于设计无死锁多方全局协议的工具链,以及它们通过自动生成的分布式端点监视器进行运行时验证。基于多方会话类型的理论,我们的工具链实现验证了全局协议上的通信安全属性,但是通过对每个端点进程的独立监视来强制执行它们。每个监视器可以在端点运行时内部嵌入或外部部署,并检测不符合协议的非法通信动作和消息类型的发生。可以进一步阐述全局协议规范,以表示更细粒度和更高级别的要求,例如消息有效载荷和安全策略的逻辑断言,这些支持由第三方插件支持。我们的演示用例是在海洋学的大型网络基础设施中编排通信的验证〔10〕。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。