On instance separation in the UC-framework

István Vajda

Paper 2012/302

On instance separation in the UC-framework

István Vajda

Abstract

The UC approach of Canetti offers the advantage of stand-alone analysis while keeping security guaranties for arbitrary complex environment. When we implement by this approach first we have to ensure secure instance separation and based on this condition, we are allowed to carry out a stand-alone analysis. In this report we propose three issues related to instance separation in UC-context: We consider the problem of universal composability in cases, when we cannot assume independence of instances. Next we formalize the interleaving attack and a related security notion. In time-aware protocols time-based separation of instances is one of the standard implementation techniques. We propose an event-driven clock model towards purely symbolic analysis of time-aware protocols.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Published elsewhere. Unknown where it was published
Keywords: cryptanalysis
Contact author(s): vajda @ hit bme hu
History: 2012-06-03: received
Short URL: https://ia.cr/2012/302
License: CC BY

BibTeX

@misc{cryptoeprint:2012/302,
      author = {István Vajda},
      title = {On instance separation in the {UC}-framework},
      howpublished = {Cryptology {ePrint} Archive, Paper 2012/302},
      year = {2012},
      url = {https://eprint.iacr.org/2012/302}
}