強力な事後コンプロミズセキュアなプロキシ再暗号化

概要

プロキシ再暗号化（PRE）は、Blazeらによって[BBS98]で導入され、鍵pkiで暗号化された暗号文を、メッセージを明らかにすることなく、新しい鍵pkjで同じメッセージを暗号化した形に第三者によって再暗号化することを可能にします。事後コンプロミズセキュリティ（PCS）は、メッセージプロトコルで最初に導入され、過去の鍵が侵害された場合でも暗号文の機密性を保証します。我々はPREの文脈においてPCSを定義し、古い秘密鍵、可能な古い暗号文および再暗号化に使用されたアップデートトークンが与えられたとしても、再暗号化がどの暗号文から生成されたかを区別できないことを保証します。我々はこの形式的な概念が最も直感的なPCSの形式を正確に捉えていると主張します。我々は、既存の定義よりも強力であることを示す分離例を提示し、その後、既存の文献からのセキュリティ定義の組み合わせを用いてPCSが満たせることを示します。これにより、既存のPREスケーマがPCSを満たすことを示します。また、より実用的なPREスケーマの自然な修正が、この既存のセキュリティ定義の組み合わせに依存せずにPCSを持つことを示せることも示します。最後に、選択的および適応的キー侵害におけるPCSの関係性について議論し、特定の再暗号化グラフにおいて適応セキュリティが満たされる方法を示す定理を提示します。