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
Creative Commons Attribution
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},
      note = {\url{https://eprint.iacr.org/2012/302}},
      url = {https://eprint.iacr.org/2012/302}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.