Solver-Aided Multi-Party Configuration
Solver-Aided Multi-Party Configuration
复制标题
求解器辅助的多方配置
DOI：
10.1145/3422604.3425944
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Benson, Theophilus A.
中科院分区：
文献类型：
--
作者：
Dackow, Kevin;Wagner, Andrew;Nelson, Tim;Krishnamurthi, Shriram;Benson, Theophilus A.
配置服务网状网通常涉及多个参与方，每个参与方负责整个系统的单独部分。这可能会导致沟通错误、静默和突发错误，或者无法实现目标。我们确定了两种不同的配置模式，需要不同的解决方案。我们使用合成算法来提取一组属性-信封--每一方都需要对方遵守。管理员可以使用信封来辅助验证和综合，也可以在目标冲突时支持故障定位和协商。本文介绍了这一问题，给出了每种模式的算法，并给出了一个原型实现。以此来说明该方法在微服务访问控制领域的可行性，并提出新的研究问题。
Configuring a service mesh often involves multiple parties, each of whom is responsible for separate portions of the overall system. This can result in miscommunication, silent and sudden errors, or a failure to meet goals.We identify two distinct modes of configuration that call for different solutions. We use synthesis algorithms to extract a set of properties---the envelope ---that each party needs the other to obey. Administrators can use the envelope to aid verification and synthesis or to support fault-localization and negotiation when goals conflict.This paper introduces the problem, lays out the modes, presents algorithms for to each, and gives a prototype implementation. We use this to show the feasibility of the approach in the microservices access-control domain and raise new research questions.
登录
查看更多内容
寻找声明性规范的最小不可满足核心
DOI：
--
发表时间：
2008
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
Emina Torlak;F. Chang;D. Jackson
通讯作者：
D. Jackson
形式化方法中的人类
DOI：
--
发表时间：
2019
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
S. Krishnamurthi;Tim Nelson
通讯作者：
Tim Nelson
DOI：
10.1109/cds.1998.675772
发表时间：
1998
期刊：
Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159)
影响因子：
--
作者：
Gerd Aschemann;R. Kehr
通讯作者：
R. Kehr
“为什么”和“为什么不”的力量：通过来源丰富场景探索
DOI：
10.1145/3106237.3106272
发表时间：
2017
期刊：
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
影响因子：
--
作者：
Nelson, Tim;Danas, Natasha;Dougherty, Daniel J.;Krishnamurthi, Shriram
通讯作者：
Krishnamurthi, Shriram
面向目标的关系模型查找
DOI：
10.1007/978-3-642-54804-8_2
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
Alcino Cunha;Nuno Macedo;Tiago Guimarães
通讯作者：
Tiago Guimarães