講演抄録/キーワード |
講演名 |
2014-09-05 14:10
信頼できる第三者機関を用いたFail-Stop署名方式およびそのUC安全性 ○野村昌弘・中村勝洋(千葉大) ISEC2014-49 |
抄録 |
(和) |
Fail-Stop署名(FSS)方式の要件として,否認不可能性と偽造不可能性がある.本稿ではまず,莫大な計算能力を持つ(指数オーダーの計算量を処理できる)敵が存在する環境下でFSS方式を使用する事を考える.この環境下では,FSS方式は否認不可能性を満たせない.そこで,署名者が否認を企てる事を想定しにくいシステムとして,信頼できる第三者機関(Trusted Third Party(TTP))を導入したFSS方式を考える.このような設定は,現実的に十分あり得ると考えられる.そしてこの設定のもとでFSS方式を広く利用するために,サブルーチン(より大きいシステムのサブプロトコル)として利用しても安全性が保持されるか否かを論じる.即ち,TTPを導入したFSS方式のUC安全性(Universally Composable Security)について考察する.その際,莫大な計算能力を持つ敵を表現するのにオラクルを導入した.そして,若干の付加条件により,TTPを導入したFSS方式がUC安全性を満たす事を示す. |
(英) |
As security requirements of fail-stop signature (FSS) schemes, non-repudiability and unforgeability are required. In this paper, it is considered that FSS schemes are used in the environment where adversaries have huge (exponentially increasing) computational power. However, FSS schemes cannot satisfy non-repudiability in that environment, so an FSS scheme with a Trusted Third Party (TTP) is proposed as a system where it is not supposed that the signer trys to repudiate his signature. In order to use this scheme widely, it is discussed whether security is preserved even when an FSS scheme with a TTP is used as a sub-protocol in a larger system. That is, UC-security (Universally Composable Security) of an FSS scheme with a TTP is considered. In this discussion, an oracle is used to represent an adversary with huge (exponentially increasing) computational power. Then, it is shown that an FSS scheme with a TTP satisfies the UC-security with some conditions. |
キーワード |
(和) |
ディジタル署名 / Fail-Stop署名 / 信頼できる第三者機関 / 否認不可能性 / 偽造不可能性 / UC安全性 / / |
(英) |
Digital Signature / Fail-Stop Signature / TTP / Non-Repudiability / Unforgeability / UC-Security / / |
文献情報 |
信学技報, vol. 114, no. 203, ISEC2014-49, pp. 13-20, 2014年9月. |
資料番号 |
ISEC2014-49 |
発行日 |
2014-08-29 (ISEC) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
ISEC2014-49 |