English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This paper is the first thorough investigation into the coarsest notion ofbisimilarity for the applied pi-calculus that is a congruence relation: openbarbed bisimilarity. An open variant of labelled bisimilarity (quasi-openbisimilarity), better suited to constructing bisimulations, is proven tocoincide with open barbed bisimilarity. These bisimilary congruences are shownto be characterised by an intuitionistic modal logic that can be used, forexample, to describe an attack on privacy whenever a privacy property isviolated. Open barbed bisimilarity provides a compositional approach toverifying cryptographic protocols, since properties proven can be reused in anycontext, including under input prefix. Furthermore, open barbed bisimilarity issufficiently coarse for reasoning about security and privacy properties ofcryptographic protocols; in constrast to the finer bisimilarity congruence,open bisimilarity, which cannot verify certain privacy properties.

A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties