Cryptology ePrint Archive: Report 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.

Category / Keywords: cryptographic protocols / cryptanalysis

Date: received 30 May 2012

Contact author: vajda at hit bme hu

Available format(s): PDF | BibTeX Citation

Version: 20120603:205815 (All versions of this report)

Short URL:

Discussion forum: Show discussion | Start new discussion

[ Cryptology ePrint archive ]