1 Search Results for "Lanotte, Ruggero"

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-dev.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}
}
  • Refine by Author
  • 1 Lanotte, Ruggero
  • 1 Merro, Massimo
  • 1 Tini, Simone

  • Refine by Classification

  • Refine by Keyword
  • 1 Behavioural metric
  • 1 compositional reasoning
  • 1 group key update

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2017

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact