License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
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://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/8126/
Lanotte, Ruggero ;
Merro, Massimo ;
Tini, Simone
Compositional Weak Metrics for Group Key Update
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 |
|
Collection: |
|
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) |
|
Issue Date: |
|
2017 |
|
Date of publication: |
|
01.12.2017 |
