Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Composition Theorem

Chapter 15
Handbook of Research on Wireless Security
The key advantage of UC security is that we can create a complex protocol from already designed sub-protocols that securely achieves the given local tasks. This is very important since complex systems are usually divided into several sub-systems, each one performing a specific task securely. Canetti presented this feature as the composition theorem (Canetti, 2001). This theorem assures that we can generally construct a large size “UC-secure” cryptographic protocol by using sub-protocols which is proven as secure in UC-secure manner.
Published in Chapter:
The Provably Secure Formal Methods for Authentication and Key Agreement Protocols
Jianfeng Ma (Xidian University, China) and Xinghua Li (Xidian University, China)
Copyright: © 2008 |Pages: 26
DOI: 10.4018/978-1-59904-899-4.ch015
Abstract
In the design and analysis of authentication and key agreement protocols, provably secure formal methods play a very important role, among which the Canetti-Krawczyk (CK) model and universal composable (UC) security model are very popular at present. This chapter focuses on these two models and consists mainly of three parts: (1) an introduction to CK model and UC models; (2) A study of these two models, which includes an analysis of CK model and an extension of UC security model. The analysis of CK model presents its security analysis, advantages, and disadvantages, and a bridge between this formal method and the informal method (heuristic method) is established; an extension of UC security model gives a universally composable anonymous hash certification model. (3) The applications of these two models. With these two models, the four-way handshake protocols in 802.11i and Chinese wireless LAN (WLAN) security standard WLAN authentication and privacy infrastructure (WAPI) are analyzed.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR