| Presentation | 2006-12-13 On Formalization of Concurrent General Composition of Witness Indistinguishability Hirofumi MURATANI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In general, there are two approaches to formalize security of cryptographic protocols under concurrent general compositions. One is the comparison-based approach in which the security of the composed protocols is defined as indistinguishability between two real models. The other is the simulation-based approach in which the security of the composed protocols is defined as indistinguishability between a real model and a hybrid model. Though the security of witness indistinguishability under concurrent self-composition has been proved by Feige-Shamir, in the previous work, we extended the security to the case of concurrent general compositions by using the comparison-based approach. The reason why we did not apply the simulation-based approach is because the ideal functionality of the witness indistinguishability is not known. In this article, we discuss possibility to formulate the concurrent general composition of witness indistinguishability and discuss the relation between these two approaches. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | witness-indistinguishability / zero-knowledge proof / concurrent general composition / universal composability / cryptographic protocol |
| Paper # | ISEC2006-103 |
| Date of Issue |
| Conference Information | |
| Committee | ISEC |
|---|---|
| Conference Date | 2006/12/6(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 | Information Security (ISEC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | On Formalization of Concurrent General Composition of Witness Indistinguishability |
| Sub Title (in English) | |
| Keyword(1) | witness-indistinguishability |
| Keyword(2) | zero-knowledge proof |
| Keyword(3) | concurrent general composition |
| Keyword(4) | universal composability |
| Keyword(5) | cryptographic protocol |
| 1st Author's Name | Hirofumi MURATANI |
| 1st Author's Affiliation | Corporate Research & Development Center, Toshiba Corporation() |
| Date | 2006-12-13 |
| Paper # | ISEC2006-103 |
| Volume (vol) | vol.106 |
| Number (no) | 411 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |