Description and Analysis of Security Protocol by Universal Composability Framework

Please enable javascript in your browser.

Seifollahpour, Najmeh | 2015

424 Viewed

Type of Document: M.Sc. Thesis
Language: Farsi
Document No: 47058 (02)
University: Sharif University of Technology
Department: Mathematical Sciences
Advisor(s): Ramezanian, Rasoul
Abstract:
Security protocols may be provable secure when used alone, but these protocols lose their security under composition operation. Universal Composition framework (UC) is a tool for analyzing security protocols under composition. UC framework guarantees that the cryptographic protocols keep their security under this composition operation. In this paper we state a modeling for key-evolving signature protocol within the UC framework as a case study. To do this, the ideal functionality is proposed for key-evolving signature scheme that keeps the security requirements of this scheme. Finally, we show that UC definition of security is equivalent to definition of security which is termed here as EU-CMA security
Keywords:
Formal Methods ; Security ; Universal Composability Framework ; Emulation ; Ideal Functionality ; Key-Evolving ; EU-CMA Security

No TOC