Paper 2012/302 Original: eprint.iacr.org/2012/302 ↗
On instance separation in the UC-framework
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
- Preprint.
- History
- 2012-06-03: last updated
- 2012-06-03: published
- Short URL
- https://ia.cr/2012/302
- License
- https://creativecommons.org/licenses/by/4.0/
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}
}