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: https://drops.dagstuhl.de/opus/volltexte/2017/8126/
Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone
Compositional Weak Metrics for Group Key Update
| pdf-format: |
|
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: | 01.12.2017 |
