文献

J-GLOBAL ID：200902233017001112   整理番号：06A0636633

システム検証の科学技術 通信プロトコルにおけるサービス不能攻撃耐性解析のための型付きπ計算

Typed pi-calculus for analysis of resistance against denial-of-service attacks in communication protocols.

著者 (3件)： 冨岡大悟 (東京工大 大学院情報理工学研究科) ,  池田立野 (東京工大 大学院情報理工学研究科) ,  西崎真也 (東京工大 大学院情報理工学研究科)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 23  号： 3  ページ： 66-84  発行年： 2006年07月26日 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： TCPにおけるSYNフラッディング攻撃は,典型的なサービス不...

シソーラス用語： プロトコル ,...
準シソーラス用語： コスト解析

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=06A0636633&from=J-GLOBAL&jstjournalNo=Y0628A") }}

分類 (2件)： 計算理論  (JB02000A) ,  計算機網  (JC03000K)

引用文献 (18件)：

• ABADI, M. A Calculus for Cryptographic Protocols : The Spi Calculus. Fourth ACM Conference on Computer and Communication Security, 1997. 1997, 36-47
• ABADI, M. Reasoning about cryptographic protocols in the spi calculus. CONCUR'97 : Concurrency Theory. 1997, 1243, 59-73
• AURA, T. Stateless connections. International Conference on Information and Communications Security ICICS'97. 1997, 87-97
• AURA, T. DOS-Resistant Authentication with Client Puzzles. Security Protocols, 8th International Workshop, 2001. 2001, 170-177
• GORDON, A. D. Authenticity by typing for security protocols. 14th IEEE Computer Security Foundations Workshop, 2001. 2001, 145-159

タイトルに関連する用語 (7件)： システム検証 ,  科学 ,  通信プロトコル ,  サービス ,  攻撃耐性 ,  解析 ,  計算