Generalized bisimulation metrics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Generalized bisimulation metrics

Résumé

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.
Fichier principal
Vignette du fichier
concur.pdf (391.4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01011471 , version 1 (03-07-2016)

Identifiants

Citer

Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu. Generalized bisimulation metrics. CONCUR - 25th Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.32-46, ⟨10.1007/978-3-662-44584-6_4⟩. ⟨hal-01011471⟩
502 Consultations
524 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More