SPY公司 swMATH ID: 22152 软件作者： Neykova R、Yoshida N、Hu R 描述： SPY：全球协议的本地验证。本文提出了一个用于设计无死锁多方全局协议的工具链，并通过自动生成的分布式端点监控器对其进行运行时验证。在多方会话类型理论的基础上，我们的工具链实现验证了全局协议上的通信安全属性，但通过独立监视每个端点进程来执行这些属性。每个监控器可以在端点运行时的内部嵌入或外部部署，并检测不符合协议的非法通信操作和消息类型的发生。可以进一步细化全局协议规范，以表达细粒度和更高级别的需求，例如第三方插件支持的关于消息有效负载和安全策略的逻辑断言。我们的演示用例是验证海洋学大型网络基础设施中的舞蹈通信[10]。 主页： https://link.springer.com/chapter/10.1007/978-3642-40787-1_25 相关软件： 乱涂;奶牛;JBoss公司;萨瓦拉;AIOCJ公司;定时对话;LARVA公司;石溪;z3（零3）;Uppaal公司;科莱姆;人工智能设备;F类*;朱莉;LTSA-WS公司 引用于： 4文件 标准条款 1出版物描述软件 年份 SPY：全球协议的本地验证鲁米亚纳内科娃；吉田、Nobuko；胡雷蒙德 2013 全部的 前5名12位作者引用 三 吉田、Nobuko 2 劳拉·博奇 1 陈子春 1 马里奥·科普 1 罗曼·德曼根 1 马里亚纽拉州Dezani-Ciancaglini 1 本田、高黑 1 伊万·拉内斯 1 法布里西奥·蒙泰西 1 鲁米亚纳内科娃 1 卢卡·帕多瓦尼 1 吉安路易吉·扎瓦塔罗 2篇连载文章中引用 1 理论计算机科学 1 计算的形式方面 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文