Generalized bisimulation metrics

Konstantinos Chatzikokolakis 1, 2 Daniel Gebler 3 Catuscia Palamidessi 1, 2, 4 Lili Xu 2, 5
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : The pseudometric based on the Kantorovich lifting is one of the most popular notion of distance between probabilistic processes proposed in the literature. However, its application in verification is limited to linear properties. We propose a generalization which allows to deal with a wider class of properties, such as those used in security and privacy. More precisely, we propose a family of pseudometrics, parametrized on a notion of distance which depends on the property we want to verify. Furthermore, we show that the members of this family still characterize bisimilarity in terms of their kernel, and provide a bound on the corresponding distance between trace distributions. Finally, we study the instance corresponding to differential privacy, and we show that it has a dual form, easier to compute. We also prove that the typical process-algebra constructs are non-expansive, thus paving the way to a modular approach to verification.
Type de document :
Communication dans un congrès
Paolo Baldan; Daniele Gorla. CONCUR - 25th Conference on Concurrency Theory, Sep 2014, Rome, Italy. Springer, 8704, pp.32-46, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-44584-6_4〉
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01011471
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 3 juillet 2016 - 19:02:16
Dernière modification le : jeudi 9 février 2017 - 15:09:19
Document(s) archivé(s) le : mardi 4 octobre 2016 - 10:51:05

Fichier

concur.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu. Generalized bisimulation metrics. Paolo Baldan; Daniele Gorla. CONCUR - 25th Conference on Concurrency Theory, Sep 2014, Rome, Italy. Springer, 8704, pp.32-46, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-44584-6_4〉. 〈hal-01011471〉

Partager

Métriques

Consultations de
la notice

709

Téléchargements du document

85