汎用的結合可能性による暗号システムの安全性証明

摘要

暗号及び暗号応用システムの安全性を検証する方法として，従来は攻撃ベースの定式化が考えられrnてきた．近年，暗号プロトコルを組み合わせた複雑なシステムが設計される場合が増えてきている．従来の安全性定義はこのような場合を考慮していないために，プロトコルの組合せが安全性を損なう場合がある．この問題点を解決するため，汎用的結合可能性（UC）の理論が提唱された．UC安全と証明されたプロトコルは，他のどのようなプロトコルと組み合わせて使用されてもその安全性が保証される．本論文ではこの理論の概要を述べるとともに，関連した安全性証明に関する数理的技法の研究を紹介する．