DROPS

Document

DOI: 10.4230/LIPIcs.MFCS.2017.72

Compositional Weak Metrics for Group Key Update

Authors: Ruggero Lanotte, Massimo Merro, and Simone Tini

Published in: LIPIcs, Volume 83, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)

Abstract

We investigate the compositionality of both weak bisimilarity metric and weak similarity quasi- metric 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.

Cite as

Ruggero Lanotte, Massimo Merro, and Simone Tini. Compositional Weak Metrics for Group Key Update. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 83, pp. 72:1-72:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{lanotte_et_al:LIPIcs.MFCS.2017.72,
  author =	{Lanotte, Ruggero and Merro, Massimo and Tini, Simone},
  title =	{{Compositional Weak Metrics for Group Key Update}},
  booktitle =	{42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)},
  pages =	{72:1--72:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-046-0},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{83},
  editor =	{Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Francois},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2017.72},
  URN =		{urn:nbn:de:0030-drops-81262},
  doi =		{10.4230/LIPIcs.MFCS.2017.72},
  annote =	{Keywords: Behavioural metric, compositional reasoning, group key update}
}

Search Results

Documents authored by Lanotte, Ruggero

Compositional Weak Metrics for Group Key Update

Abstract

Cite as

Thanks for your feedback!

Could not send message