License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.MFCS.2017.72
URN: urn:nbn:de:0030-drops-81262
URL: http://drops.dagstuhl.de/opus/volltexte/2017/8126/
Go to the corresponding LIPIcs Volume Portal


Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone

Compositional Weak Metrics for Group Key Update

pdf-format:
LIPIcs-MFCS-2017-72.pdf (0.9 MB)


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.

BibTeX - Entry

@InProceedings{lanotte_et_al:LIPIcs:2017:8126,
  author =	{Ruggero Lanotte and Massimo Merro and Simone Tini},
  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 =	{Kim G. Larsen and Hans L. Bodlaender and Jean-Francois Raskin},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/8126},
  URN =		{urn:nbn:de:0030-drops-81262},
  doi =		{10.4230/LIPIcs.MFCS.2017.72},
  annote =	{Keywords: Behavioural metric, compositional reasoning, group key update}
}

Keywords: Behavioural metric, compositional reasoning, group key update
Seminar: 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
Issue Date: 2017
Date of publication: 22.11.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI