@article{oai:ipsj.ixsq.nii.ac.jp:00016568,
 author = {西崎, 真也 and 玉野, 浩嗣 and Shin-ya, Nishizaki and Hiroshi, Tamano},
 issue = {SIG6(PRO29)},
 journal = {情報処理学会論文誌プログラミング（PRO）},
 month = {May},
 note = {本研究では，定理を保存する定理アーカイブにおけるサービス不能攻撃への耐性について考察する．格納される定理は，アーカイブ自身において，その定理の正当性が保証されるべきである．定理の正当性検証は，一般に計算コストは軽くなく，悪意のある者からのアクセスにより，サービス不能攻撃（DoS 攻撃）をしかけられる脆弱性を有している．本研究では，等式系とそれと等価な完備な項書き換え系を定理ととらえ，等式アーカイブにおけるDoS 攻撃に対する耐性を向上させる手法を提案する．, 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.},
 pages = {70--70},
 title = {定理アーカイブにおけるDoS攻撃耐性},
 volume = {47},
 year = {2006}
}