Affordable Access

Publisher Website

A computational interpretation of Dolev–Yao adversaries

Authors
Journal
Theoretical Computer Science
0304-3975
Publisher
Elsevier
Publication Date
Volume
340
Issue
1
Identifiers
DOI: 10.1016/j.tcs.2005.03.003
Keywords
  • Computational Soundness
  • Formal Encryption
  • Dolev–Yao Model
  • Non-Malleability
Disciplines
  • Computer Science

Abstract

Abstract The Dolev–Yao model is a simple and useful framework in which to analyze security protocols, but it assumes that the adversary is extremely limited. We show that it is possible for the results of this model to remain valid even if the adversary is given additional power. In particular, we show that there exist situations in which Dolev–Yao adversary can be viewed as a valid abstraction of all realistic adversaries. We do this in a number of steps: (1) The Dolev–Yao model places strong assumptions on the adversary. We capture those assumptions in the computational model (an alternate framework with a very powerful adversary) as a non-malleability property of public-key encryption. (2) We prove an Abadi–Rogaway-style indistinguishability property (J. Cryptol. 15(2) (2002) 103–127) for the public-key setting. That is, we show that if two Dolev–Yao expressions are indistinguishable to the Dolev–Yao adversary, then their computational interpretations (via a chosen-ciphertext secure encryption scheme) are computationally indistinguishable. (3) We show that any encryption scheme that satisfies the indistinguishability property also satisfies our (more natural) non-malleability property.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

Weakening the perfect encryption assumption in Dol...

on Theoretical Computer Science Jan 01, 2005

Satisfiability of Dolev-Yao Constraints

on Electronic Notes in Theoretica... Jan 01, 2005

Flow logic for Dolev–Yao secrecy in cryptographic...

on Future Generation Computer Sys... Jan 01, 2002
More articles like this..