Compositional Weak Metrics for Group Key Update
Compositional Weak Metrics for Group Key Update
复制标题
DOI：
10.4230/lipics.mfcs.2017.72
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
R. Lanotte;Massimo Merro;S. Tini
中科院分区：
文献类型：
--
作者：
R. Lanotte;Massimo Merro;S. Tini
我们调查的组合性弱双相似性度量和弱相似性准度量语义相对于各种标准的运营商，在概率进程代数的背景下。我们展示了如何组合性方面的不确定性和概率的选择需要诉诸扎根语义。作为一个主要的应用程序，我们展示了如何我们的结果可以成功地用于进行组合推理，以估计在组播设置组密钥更新协议的性能。1998年ACM主题分类F.3.2程序设计语言的语义
We investigate the compositionality of both weak bisimilarity metric and weak similarity quasimetric semantics with respect to a variety of standard operators, in the context of probabilistic process algebra. We show how compositionality with respect to nondeterministic and probabilistic choice requires to resort to rooted semantics. As a main application, we demonstrate how our results can be successfully used to conduct compositional reasonings to estimate the performances of group key update protocols in a multicast setting. 1998 ACM Subject Classification F.3.2 Semantics of Programming Languages