The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Em um artigo seminal sobre criptografia baseada em identidade (IBE), Boneh e Franklin [6] mencionaram uma transformação interessante de um esquema IBE para um esquema de assinatura, que foi observada por Moni Naor. Neste artigo, damos tratamentos formais de segurança para esta transformação e descobrimos diversas implicações e separações entre as noções de segurança de IBE e assinatura transformada. Por exemplo, mostramos que para uma transformação tão bem-sucedida, a unidirecionalidade da IME é uma condição essencial. Além disso, damos uma condição suficiente e necessária para converter um esquema IBE semanticamente seguro em um esquema de assinatura existencialmente impossível de ser falsificado. Nossos resultados ajudam a estabelecer estratégias de design e prova automática de segurança de esquemas de assinatura de esquemas IBE (possivelmente fracos). Também mostramos alguns resultados de separação que apoiam fortemente que a unidirecionalidade, em vez da segurança semântica, do IBE captura uma condição essencial para alcançar uma assinatura segura.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copiar
Yang CUI, Eiichiro FUJISAKI, Goichiro HANAOKA, Hideki IMAI, Rui ZHANG, "Formal Security Treatments for IBE-to-Signature Transformation: Relations among Security Notions" in IEICE TRANSACTIONS on Fundamentals,
vol. E92-A, no. 1, pp. 53-66, January 2009, doi: 10.1587/transfun.E92.A.53.
Abstract: In a seminal paper of identity based encryption (IBE), Boneh and Franklin [6] mentioned an interesting transform from an IBE scheme to a signature scheme, which was observed by Moni Naor. In this paper, we give formal security treatments for this transform and discover several implications and separations among security notions of IBE and transformed signature. For example, we show for such a successful transform, one-wayness of IBE is an essential condition. Additionally, we give a sufficient and necessary condition for converting a semantically secure IBE scheme into an existentially unforgeable signature scheme. Our results help establish strategies on design and automatic security proof of signature schemes from (possibly weak) IBE schemes. We also show some separation results which strongly support that one-wayness, rather than semantic security, of IBE captures an essential condition to achieve secure signature.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E92.A.53/_p
Copiar
@ARTICLE{e92-a_1_53,
author={Yang CUI, Eiichiro FUJISAKI, Goichiro HANAOKA, Hideki IMAI, Rui ZHANG, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Formal Security Treatments for IBE-to-Signature Transformation: Relations among Security Notions},
year={2009},
volume={E92-A},
number={1},
pages={53-66},
abstract={In a seminal paper of identity based encryption (IBE), Boneh and Franklin [6] mentioned an interesting transform from an IBE scheme to a signature scheme, which was observed by Moni Naor. In this paper, we give formal security treatments for this transform and discover several implications and separations among security notions of IBE and transformed signature. For example, we show for such a successful transform, one-wayness of IBE is an essential condition. Additionally, we give a sufficient and necessary condition for converting a semantically secure IBE scheme into an existentially unforgeable signature scheme. Our results help establish strategies on design and automatic security proof of signature schemes from (possibly weak) IBE schemes. We also show some separation results which strongly support that one-wayness, rather than semantic security, of IBE captures an essential condition to achieve secure signature.},
keywords={},
doi={10.1587/transfun.E92.A.53},
ISSN={1745-1337},
month={January},}
Copiar
TY - JOUR
TI - Formal Security Treatments for IBE-to-Signature Transformation: Relations among Security Notions
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 53
EP - 66
AU - Yang CUI
AU - Eiichiro FUJISAKI
AU - Goichiro HANAOKA
AU - Hideki IMAI
AU - Rui ZHANG
PY - 2009
DO - 10.1587/transfun.E92.A.53
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E92-A
IS - 1
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - January 2009
AB - In a seminal paper of identity based encryption (IBE), Boneh and Franklin [6] mentioned an interesting transform from an IBE scheme to a signature scheme, which was observed by Moni Naor. In this paper, we give formal security treatments for this transform and discover several implications and separations among security notions of IBE and transformed signature. For example, we show for such a successful transform, one-wayness of IBE is an essential condition. Additionally, we give a sufficient and necessary condition for converting a semantically secure IBE scheme into an existentially unforgeable signature scheme. Our results help establish strategies on design and automatic security proof of signature schemes from (possibly weak) IBE schemes. We also show some separation results which strongly support that one-wayness, rather than semantic security, of IBE captures an essential condition to achieve secure signature.
ER -