定理アーカイブにおけるDoS攻撃耐性

• Item type: Trans(1)
• 公開日: 2006-05-15
• タイトル: 定理アーカイブにおけるDoS攻撃耐性
• タイトル / 言語: en
• タイトル: Denial-of-Service Resistance in Theorem Archives
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京工業大学大学院情報理工学研究科計算工学専攻
• 著者所属: 東京工業大学大学院情報理工学研究科計算工学専攻
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Tokyo Institute of Technology
• 著者名: 西崎, 真也; 玉野, 浩嗣
• 著者名(英): Shin-ya, Nishizaki; Hiroshi, Tamano
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本研究では，定理を保存する定理アーカイブにおけるサービス不能攻撃への耐性について考察する．格納される定理は，アーカイブ自身において，その定理の正当性が保証されるべきである．定理の正当性検証は，一般に計算コストは軽くなく，悪意のある者からのアクセスにより，サービス不能攻撃（DoS 攻撃）をしかけられる脆弱性を有している．本研究では，等式系とそれと等価な完備な項書き換え系を定理ととらえ，等式アーカイブにおけるDoS 攻撃に対する耐性を向上させる手法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We study resistance against Denial-of-Services attacks in a theorem archives server. The server should guarantee correctness of the stored theorems. Since the cost of correctness checking in the server is not negligible, the server has vulnerability to Denial-of-service attacks from malicious submission of theorems. In our study, we regard equation archives as theorem archives and propose improvement method of Denial-of-Service attack resistance.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 47, 号 SIG6(PRO29), p. 70-70, 発行日 2006-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会