文献

J-GLOBAL ID：200902212336356287   整理番号：08A0694076

暗号学における双対性-ゴールとシナリオの間には-

著者 (2件)： 太田和夫 (電通大) ,  國廣昇 (東大)
資料名： 応用数理  (Bulletin of the Japan Society for Industrial and Applied Mathematics)
巻： 18  号： 2  ページ： 145-152  発行年： 2008年06月25日 
JST資料番号： L1191A  ISSN： 0917-2270  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 安全性を理論的に証明できる暗号理論を紹介した。暗号方式の安全性は,方式が設定するゴールGOALと攻撃者に許されたシナリオATKの組合せ毎に定義されるが,メタ帰着を介してGOALとATKの間に両立不可能性が存在することを指摘し,メタ帰着技法を組合せる「対角線論法」を適用してGOAL-ATK-安全の証明不可能性とその範囲を示した。双対性を用いて圏論風にGOAL-ATK図の領域の塗り分けを実行した。

シソーラス用語： *暗号理論 ,  暗号鍵 ,  安全性 ,  双対性 ,  圏 ,  カテゴリー理論 ,  定理証明 ,  公開鍵暗号 ,  秘密鍵暗号

分類 (1件)： 符号理論  (ND02030R)

引用文献 (13件)：

• DIFFIE, W. New directions in cryptography. IEEE Transactions on Information Theory. 1976, 22, 6, 644-654
• GOLDWASSER, S. A "paradoxical" solution to the signature problem. 25th Annual Symposium on the Foundations of Computer Science, 1984. 1984, 441-448
• BELLARE, M. Relations among notions of security for public-key encryption schemes. Advances in Cryptology-CRYPTO'98. 1998, 26-45
• GOLDWASSER, S. A digital signature scheme against adaptive chosen message attack. Journal of Computing (Society for Industrial and Applied Mathematics). 1988, 17, 2, 281-308
• 太田和夫. 証明可能安全性理論に向けて. 電子情報通信学会誌. 2007, 90, 6, 426-430

タイトルに関連する用語 (4件)： 暗号学 ,  双対性 ,  ゴール ,  シナリオ