Re-Encryption Verifiability: How to Detect Malicious Activities of a Proxy in Proxy Re-Encryption
Re-Encryption Verifiability: How to Detect Malicious Activities of a Proxy in Proxy Re-Encryption
复制标题
DOI：
10.1007/978-3-319-16715-2_22
复制
发表时间：
2015-04
期刊：
影响因子：
--
通讯作者：
Satsuya Ohata;Yutaka Kawai;Takahiro Matsuda;Goichiro Hanaoka;Kanta Matsuura
中科院分区：
文献类型：
--
作者：
Satsuya Ohata;Yutaka Kawai;Takahiro Matsuda;Goichiro Hanaoka;Kanta Matsuura
在本文中，我们介绍了一种新的代理重加密功能，称为重加密可验证性。在具有重新加密可验证性的Pre方案(我们简称为可验证Pre，或VPRE)中，重新加密密文的接收者可以验证所接收的密文是否通过代理从原始密文正确转换，从而可以检测代理的非法活动。我们形式化了VPRE方案的安全模型，并证明了Hanaoka等人的单跳单向Pre方案。(CT-RSA 2012)可以扩展到安全的VPRE方案。
In this paper, we introduce a new functionality for proxy re-encryption (PRE) that we callre-encryption verifiability. In a PRE scheme with re-encryption verifiability (which we simply call verifiable PRE, or VPRE), a receiver of a re-encrypted ciphertext can verify whether the received ciphertext is correctly transformed from an original ciphertext by a proxy, and thus can detect illegal activities of the proxy. We formalize the security model for a VPRE scheme, and show that the single-hop uni-directional PRE scheme by Hanaoka et al. (CT-RSA 2012) can be extended to a secure VPRE scheme.