Art

J-GLOBAL ID：200902233017001112   Reference number：06A0636633

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

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

Author (3)： TOMIOKA DAIGO (東京工大 大学院情報理工学研究科) ,  IKEDA TATSUYA (東京工大 大学院情報理工学研究科) ,  NISHIZAKI SHIN'YA (東京工大 大学院情報理工学研究科)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 23  Issue： 3  Page： 66-84  Publication year： Jul. 26, 2006 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： protocol ,...
Semi thesaurus term： cost analysis

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=06A0636633&from=J-GLOBAL&jstjournalNo=Y0628A") }}

JST classification (2)： Theory of computation  (JB02000A) ,  Computer networks  (JC03000K)

Reference (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

Terms in the title (7)： システム検証 ,  科学 ,  通信プロトコル ,  サービス ,  攻撃耐性 ,  解析 ,  計算