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
L'affranchissement des messages est introduit par Facebook dans les services de messagerie cryptés de bout en bout. Il permet de produire des rapports vérifiables de messages malveillants en incluant des preuves cryptographiques, appelées balises de reporting, générées par Facebook. Récemment, Grubbs et al. (CRYPTO'17) a procédé à l'étude formelle de l'affranchissement des messages et a introduit le chiffrement authentifié avec données associées (CAEAD) comme primitive de base pour obtenir l'affranchissement des messages. Dans ce travail, nous visons à améliorer la sécurité de l'affranchissement des messages et à introduire une sécurité transmise et des mises à jour des balises de reporting pour l'affranchissement des messages. La sécurité avancée garantit la sécurité associée aux clés passées même si les clés actuelles sont exposées et les mises à jour des balises de rapport permettent de signaler les messages malveillants après la mise à jour des clés. À cette fin, nous proposons dans un premier temps la notion d’affranchissement de messages évolutif avec des balises de reporting actualisables incluant des algorithmes supplémentaires de mise à jour des clés et des balises de reporting. Ensuite, nous formalisons cinq exigences de sécurité : confidentialité, intégrité du texte chiffré, infalsifiable, liaison du destinataire et liaison de l'expéditeur. Enfin, nous montrons une construction d'affranchissement de messages sécurisé avec des balises de rapport actualisables basées sur CAEAD, un générateur pseudo-aléatoire sécurisé et un code d'authentification de message pouvant être mis à jour.
Hiroki YAMAMURO
Tokyo Institute of Technology
Keisuke HARA
National Institute of Advanced Industrial Science and Technology (AIST),Yokohama National University
Masayuki TEZUKA
Tsuruoka College
Yusuke YOSHIDA
Tokyo Institute of Technology
Keisuke TANAKA
Tokyo Institute of Technology
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.
Copier
Hiroki YAMAMURO, Keisuke HARA, Masayuki TEZUKA, Yusuke YOSHIDA, Keisuke TANAKA, "Forward Secure Message Franking with Updatable Reporting Tags" in IEICE TRANSACTIONS on Fundamentals,
vol. E106-A, no. 9, pp. 1164-1176, September 2023, doi: 10.1587/transfun.2022DMP0004.
Abstract: Message franking is introduced by Facebook in end-to-end encrypted messaging services. It allows to produce verifiable reports of malicious messages by including cryptographic proofs, called reporting tags, generated by Facebook. Recently, Grubbs et al. (CRYPTO'17) proceeded with the formal study of message franking and introduced committing authenticated encryption with associated data (CAEAD) as a core primitive for obtaining message franking. In this work, we aim to enhance the security of message franking and introduce forward security and updates of reporting tags for message franking. Forward security guarantees the security associated with the past keys even if the current keys are exposed and updates of reporting tags allow for reporting malicious messages after keys are updated. To this end, we firstly propose the notion of key-evolving message franking with updatable reporting tags including additional key and reporting tag update algorithms. Then, we formalize five security requirements: confidentiality, ciphertext integrity, unforgeability, receiver binding, and sender binding. Finally, we show a construction of forward secure message franking with updatable reporting tags based on CAEAD, forward secure pseudorandom generator, and updatable message authentication code.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.2022DMP0004/_p
Copier
@ARTICLE{e106-a_9_1164,
author={Hiroki YAMAMURO, Keisuke HARA, Masayuki TEZUKA, Yusuke YOSHIDA, Keisuke TANAKA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Forward Secure Message Franking with Updatable Reporting Tags},
year={2023},
volume={E106-A},
number={9},
pages={1164-1176},
abstract={Message franking is introduced by Facebook in end-to-end encrypted messaging services. It allows to produce verifiable reports of malicious messages by including cryptographic proofs, called reporting tags, generated by Facebook. Recently, Grubbs et al. (CRYPTO'17) proceeded with the formal study of message franking and introduced committing authenticated encryption with associated data (CAEAD) as a core primitive for obtaining message franking. In this work, we aim to enhance the security of message franking and introduce forward security and updates of reporting tags for message franking. Forward security guarantees the security associated with the past keys even if the current keys are exposed and updates of reporting tags allow for reporting malicious messages after keys are updated. To this end, we firstly propose the notion of key-evolving message franking with updatable reporting tags including additional key and reporting tag update algorithms. Then, we formalize five security requirements: confidentiality, ciphertext integrity, unforgeability, receiver binding, and sender binding. Finally, we show a construction of forward secure message franking with updatable reporting tags based on CAEAD, forward secure pseudorandom generator, and updatable message authentication code.},
keywords={},
doi={10.1587/transfun.2022DMP0004},
ISSN={1745-1337},
month={September},}
Copier
TY - JOUR
TI - Forward Secure Message Franking with Updatable Reporting Tags
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1164
EP - 1176
AU - Hiroki YAMAMURO
AU - Keisuke HARA
AU - Masayuki TEZUKA
AU - Yusuke YOSHIDA
AU - Keisuke TANAKA
PY - 2023
DO - 10.1587/transfun.2022DMP0004
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E106-A
IS - 9
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - September 2023
AB - Message franking is introduced by Facebook in end-to-end encrypted messaging services. It allows to produce verifiable reports of malicious messages by including cryptographic proofs, called reporting tags, generated by Facebook. Recently, Grubbs et al. (CRYPTO'17) proceeded with the formal study of message franking and introduced committing authenticated encryption with associated data (CAEAD) as a core primitive for obtaining message franking. In this work, we aim to enhance the security of message franking and introduce forward security and updates of reporting tags for message franking. Forward security guarantees the security associated with the past keys even if the current keys are exposed and updates of reporting tags allow for reporting malicious messages after keys are updated. To this end, we firstly propose the notion of key-evolving message franking with updatable reporting tags including additional key and reporting tag update algorithms. Then, we formalize five security requirements: confidentiality, ciphertext integrity, unforgeability, receiver binding, and sender binding. Finally, we show a construction of forward secure message franking with updatable reporting tags based on CAEAD, forward secure pseudorandom generator, and updatable message authentication code.
ER -