• 検索結果がありません。

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

N/A
N/A
Protected

Academic year: 2021

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

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)Vol. 47. No. SIG 6(PRO 29). May 2006. 情報処理学会論文誌:プログラミング. 発表概要. 定理アーカイブにおける DoS 攻撃耐性 西. 崎. 真. 也†. 玉. 野. 浩. 嗣†. 本研究では,定理を保存する定理アーカイブにおけるサービス不能攻撃への耐性について考察する. 格納される定理は,アーカイブ自身において,その定理の正当性が保証されるべきである.定理の正 当性検証は,一般に計算コストは軽くなく,悪意のある者からのアクセスにより,サービス不能攻撃 (DoS 攻撃)をしかけられる脆弱性を有している.本研究では,等式系とそれと等価な完備な項書き換 え系を定理ととらえ,等式アーカイブにおける DoS 攻撃に対する耐性を向上させる手法を提案する.. Denial-of-Service Resistance in Theorem Archives Shin-ya Nishizaki† and Hiroshi Tamano† 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.. (平成 17 年 10 月 12 日発表). † 東京工業大学大学院情報理工学研究科計算工学専攻 Department of Computer Science, Tokyo Institute of Technology. 70.

(2)

参照

関連したドキュメント

This is a consequence of a more general result on interacting particle systems that shows that a stationary measure is ergodic if and only if the sigma algebra of sets invariant

The performance measures- the throughput, the type A and type B message loss probabilities, the idle probability of the server, the fraction of time the server is busy with type r,

Another new aspect of our proof lies in Section 9, where a certain uniform integrability is used to prove convergence of normalized cost functions associated with the sequence

For example, a maximal embedded collection of tori in an irreducible manifold is complete as each of the component manifolds is indecomposable (any additional surface would have to

In [9], it was shown that under diffusive scaling, the random set of coalescing random walk paths with one walker starting from every point on the space-time lattice Z × Z converges

Next, we will examine the notion of generalization of Ramsey type theorems in the sense of a given zero sum theorem in view of the new

An integral inequality is deduced from the negation of the geometrical condition in the bounded mountain pass theorem of Schechter, in a situation where this theorem does not

Splitting homotopies : Another View of the Lyubeznik Resolution There are systematic ways to find smaller resolutions of a given resolution which are actually subresolutions.. This is