Reference : Compositional Analysis of Protocol Equivalence in the Applied pi-Calculus Using Quasi...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/50045
Compositional Analysis of Protocol Equivalence in the Applied pi-Calculus Using Quasi-open Bisimilarity
English
Horne, Ross James mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
Mauw, Sjouke mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
Yurkov, Semen mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
Cerone, Antonio [> >]
Ölveczky, Peter Csaba [> >]
2021
Theoretical Aspects of Computing -- ICTAC 2021
Springer International Publishing
235--255
Yes
978-3-030-85315-0
Cham
ICTAC 2021
08-10 September 2021
[en] This paper shows that quasi-open bisimilarity is the coarsest bisimilarity congruence for the applied pi-calculus. Furthermore, we show that this equivalence is suited to security and privacy problems expressed as an equivalence problem in the following senses: (1) being a bisimilarity is a safe choice since it does not miss attacks based on rich strategies; (2) being a congruence it enables a compositional approach to proving certain equivalence problems such as unlinkability; and (3) being the coarsest such bisimilarity congruence it can establish proofs of some privacy properties where finer equivalences fail to do so.
http://hdl.handle.net/10993/50045
10.1007/978-3-030-85315-0_14

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
chp_10.1007_978-3-030-85315-0_14.pdfPublisher postprint848.7 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.