Matches in SemOpenAlex for { <https://semopenalex.org/work/W2775534125> ?p ?o ?g. }
- W2775534125 endingPage "422" @default.
- W2775534125 startingPage "367" @default.
- W2775534125 abstract "Observational equivalence allows us to study important security properties such as anonymity. Unfortunately, the difficulty of proving observational equivalence hinders analysis. Blanchet, Abadi & Fournet simplify its proof by introducing a sufficient condition for observational equivalence, called diff-equivalence, which is a reachability condition that can be proved automatically by ProVerif. However, diff-equivalence is a very strong condition, which often does not hold even if observational equivalence does. In particular, when proving equivalence between processes that contain several parallel components, e.g., P∣Q and P′∣Q′, diff-equivalence requires that P is equivalent to P′ and Q is equivalent to Q′. To relax this constraint, Delaune, Ryan & Smyth introduced the idea of swapping data between parallel processes P′ and Q′ at synchronisation points, without proving its soundness. We extend their work by formalising the semantics of synchronisation, formalising the definition of swapping, and proving its soundness. We also relax some restrictions they had on the processes to which swapping can be applied. Moreover, we have implemented our results in ProVerif. Hence, we extend the class of equivalences that can be proved automatically. We showcase our results by analysing privacy in election schemes by Fujioka, Okamoto & Ohta, Lee et al., and Juels, Catalano & Jakobsson, and in the vehicular ad-hoc network by Freudiger et al." @default.
- W2775534125 created "2017-12-22" @default.
- W2775534125 creator A5004976322 @default.
- W2775534125 creator A5065482340 @default.
- W2775534125 date "2018-04-09" @default.
- W2775534125 modified "2023-10-17" @default.
- W2775534125 title "Automated reasoning for equivalences in the applied pi calculus with barriers" @default.
- W2775534125 cites W1446312191 @default.
- W2775534125 cites W1556831389 @default.
- W2775534125 cites W1565697634 @default.
- W2775534125 cites W1571378841 @default.
- W2775534125 cites W171472358 @default.
- W2775534125 cites W1973054120 @default.
- W2775534125 cites W1978884755 @default.
- W2775534125 cites W1979418580 @default.
- W2775534125 cites W1994676271 @default.
- W2775534125 cites W1996497395 @default.
- W2775534125 cites W2001874371 @default.
- W2775534125 cites W2038149966 @default.
- W2775534125 cites W2042609207 @default.
- W2775534125 cites W2045466102 @default.
- W2775534125 cites W2055259417 @default.
- W2775534125 cites W2060349224 @default.
- W2775534125 cites W2076864770 @default.
- W2775534125 cites W2084557272 @default.
- W2775534125 cites W2088500281 @default.
- W2775534125 cites W2102565724 @default.
- W2775534125 cites W2104270509 @default.
- W2775534125 cites W2105709291 @default.
- W2775534125 cites W2124522379 @default.
- W2775534125 cites W2133863960 @default.
- W2775534125 cites W2151952022 @default.
- W2775534125 cites W2155570147 @default.
- W2775534125 cites W2159435827 @default.
- W2775534125 cites W2161706819 @default.
- W2775534125 cites W2164222678 @default.
- W2775534125 cites W2172018206 @default.
- W2775534125 cites W2259436857 @default.
- W2775534125 cites W2336945419 @default.
- W2775534125 cites W2508881716 @default.
- W2775534125 cites W2544274814 @default.
- W2775534125 cites W2584482469 @default.
- W2775534125 cites W2986698110 @default.
- W2775534125 cites W4298899321 @default.
- W2775534125 doi "https://doi.org/10.3233/jcs-171013" @default.
- W2775534125 hasPublicationYear "2018" @default.
- W2775534125 type Work @default.
- W2775534125 sameAs 2775534125 @default.
- W2775534125 citedByCount "9" @default.
- W2775534125 countsByYear W27755341252019 @default.
- W2775534125 countsByYear W27755341252020 @default.
- W2775534125 countsByYear W27755341252021 @default.
- W2775534125 countsByYear W27755341252022 @default.
- W2775534125 crossrefType "journal-article" @default.
- W2775534125 hasAuthorship W2775534125A5004976322 @default.
- W2775534125 hasAuthorship W2775534125A5065482340 @default.
- W2775534125 hasBestOaLocation W27755341252 @default.
- W2775534125 hasConcept C118615104 @default.
- W2775534125 hasConcept C136643341 @default.
- W2775534125 hasConcept C178005623 @default.
- W2775534125 hasConcept C199343813 @default.
- W2775534125 hasConcept C199360897 @default.
- W2775534125 hasConcept C2777686260 @default.
- W2775534125 hasConcept C2777721189 @default.
- W2775534125 hasConcept C2780069185 @default.
- W2775534125 hasConcept C2984882572 @default.
- W2775534125 hasConcept C33923547 @default.
- W2775534125 hasConcept C38652104 @default.
- W2775534125 hasConcept C39920170 @default.
- W2775534125 hasConcept C41008148 @default.
- W2775534125 hasConcept C71924100 @default.
- W2775534125 hasConcept C80444323 @default.
- W2775534125 hasConceptScore W2775534125C118615104 @default.
- W2775534125 hasConceptScore W2775534125C136643341 @default.
- W2775534125 hasConceptScore W2775534125C178005623 @default.
- W2775534125 hasConceptScore W2775534125C199343813 @default.
- W2775534125 hasConceptScore W2775534125C199360897 @default.
- W2775534125 hasConceptScore W2775534125C2777686260 @default.
- W2775534125 hasConceptScore W2775534125C2777721189 @default.
- W2775534125 hasConceptScore W2775534125C2780069185 @default.
- W2775534125 hasConceptScore W2775534125C2984882572 @default.
- W2775534125 hasConceptScore W2775534125C33923547 @default.
- W2775534125 hasConceptScore W2775534125C38652104 @default.
- W2775534125 hasConceptScore W2775534125C39920170 @default.
- W2775534125 hasConceptScore W2775534125C41008148 @default.
- W2775534125 hasConceptScore W2775534125C71924100 @default.
- W2775534125 hasConceptScore W2775534125C80444323 @default.
- W2775534125 hasIssue "3" @default.
- W2775534125 hasLocation W27755341251 @default.
- W2775534125 hasLocation W27755341252 @default.
- W2775534125 hasLocation W27755341253 @default.
- W2775534125 hasLocation W27755341254 @default.
- W2775534125 hasLocation W27755341255 @default.
- W2775534125 hasLocation W27755341256 @default.
- W2775534125 hasLocation W27755341257 @default.
- W2775534125 hasLocation W27755341258 @default.
- W2775534125 hasLocation W27755341259 @default.
- W2775534125 hasOpenAccess W2775534125 @default.