@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00077919,
 author = {笠松, 宏平 and 松田, 隆宏 and 江村, 恵太 and 花岡, 悟一郎 and 今井, 秀樹 and Kouhei, Kasamatsu and Takahiro, Matsuda and Keita, Emura and Goichiro, Hanaoka and Hideki, Imai},
 book = {コンピュータセキュリティシンポジウム2011 論文集},
 issue = {3},
 month = {Oct},
 note = {信頼できる時報局を用いたTimed-Release Encryption は受信者が復号に必要な時刻鍵を紛失した時にその暗号文を復号できなくなる問題がある．受信者は鍵を紛失してもその時刻以降の鍵でその暗号文を復号できるように方式を改良することでこの問題を解決方法がある．その方式をForward Secure Encryption を用いて構成することで効率的な方式が得られることが既存研究で示唆されているが厳密な定義と安全性の証明がされていない．本稿ではその厳密な定義と安全性の証明を与える, In time-release encryption(TRE), a central timer server will, in each time interval, release a time key which enables a receiver to decrypt any ciphertext encrypted for that time interval. However, this approach suffers from the drawback that if the receiver is temporary off-line or otherwise unavailable in a given time interval, and therefore does not receive the time key, he will not be able to decrypt. One solution to this problem is to ensure that a time key can be used to decrypt ciphertexts encrypted for any previous time interval. It has been suggested in the literature that a scheme with this property can be constructed from forward secure encryption(FSE), but such a construction has neither been formally defined nor proved secure. In this paper, we address this by proposing a generic construction of a TRE scheme from FSE, and formally proving this construction secure.},
 pages = {137--142},
 publisher = {情報処理学会},
 title = {フォワード安全暗号を用いたタイムリリース暗号の一般的構成の安全性証明},
 volume = {2011},
 year = {2011}
}