Presentation 2006-11-10
On the combination of functionalities for key exchange protocol
Kenji IMAMOTO, Tadashi ARARAGI, Kouichi SAKURAI,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) Universal composability framework, which is a security model proposed by Canetti, introduces functionality for representing some desired property in formal way. This paper considers how to construct new functionality that represents unknown properties by combining some known functionalities. As such an example, we design two functionalities that represent agreement and secrecy respectively and show how to combine them into a functionality for key exchange.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Universal composability / functionality
Paper # AI2006-17
Date of Issue

Conference Information
Committee AI
Conference Date 2006/11/3(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Artificial Intelligence and Knowledge-Based Processing (AI)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) On the combination of functionalities for key exchange protocol
Sub Title (in English)
Keyword(1) Universal composability
Keyword(2) functionality
1st Author's Name Kenji IMAMOTO
1st Author's Affiliation Faculty of Information Science and Electrical Engineering, Kyushu University()
2nd Author's Name Tadashi ARARAGI
2nd Author's Affiliation NTT Communication Science Laboratories
3rd Author's Name Kouichi SAKURAI
3rd Author's Affiliation Faculty of Information Science and Electrical Engineering, Kyushu University
Date 2006-11-10
Paper # AI2006-17
Volume (vol) vol.106
Number (no) 340
Page pp.pp.-
#Pages 5
Date of Issue