先進的コンパイル技法を用いたセキュアなインターネット・サーバの実現

使用先进的编译技术实现安全的互联网服务器

• 批准号: 13780212
• 负责人: 河野 健二
• 金额: $ 1.41万
• 依托单位: The University of Electro-Communications
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13780212/
• 关键词: 特定ドメイン言語; プロトコル; インターネット・サーバ; セキュリティ; プロトコル記述言語; バッファ溢れ攻撃; アプリケーション層プロトコル; インターネット; モバイルコード; 特定領域言語

インターネットなどの広域分散環境では、アプリケーション層プロトコルを用いて通信を行なうアプリケーションが多数利用されている.HTTPやSMTPなどのアプリケーション層プロトコルは、文字列を主体としたメッセージのやり取りとして定義されており、その実現には文字列の解析や構成を行なう退屈で煩雑なコーディングを要する.また、時系列に沿ったメッセージのやり取りやシステムの状態遷移がプログラム・コード中に埋没し、プロトコルの挙動を把握することが難しい.そのためプロトコル処理部の保守性、安全性が低下し、インターネット・サーバのセキュリティ・ホールの一因となることも多い.本研究では,クライアント・サーバ型のアプリケーション層プロトコルを対象に、プロトコル処理部を自動的に生成するコード生成器Aprilの開発を行った.Aprilはアプリケーション層プロトコルの記述に特化した記法を提供しており、1)メッセージ・フォーマットの定義2)時系列に沿ったメッセージのやり取り、3)システムの状態遷移のみを記述すれば,C言語のコードを自動的に生成する.メッセージの解析や構成に必要な文字列処理はAprilの処理系が行ないプログラマが記述する必要はない.また、時系列に沿ったメッセージのやり取りやシステムの状態遷移が明示的に記述されているため、プロトコルの挙動が把握しやすい.本研究では、Aprilによって主要なプロトコルが記述できることを示しAprilを用いたことによるプロトコル処理のオーバーヘッドが十分に小さいことを示した.

The distribution of the environment, communication, distribution, distribution and distribution of the environment. Http, SMTP, communication, communication and communication. The text column is parsed into a line, and the text column is parsed into a line. In the same time series, the system is located in the middle of the train, and the information is not available. The department of science is conservative, low-security, low-security and low-security. The purpose of this study is The April generator is automatically generated by the Department of Science and Technology, and the automatic generator is open. April, April 1) the definition of the system is defined. 2) the series of data is fetched along the network, and 3) the status of the data is changed. C is to talk about the generation of automatic generating devices. The text column "April", "science", "necessary", "necessary", "necessary", and so on. Along the time series of information systems, the records are clearly indicated in the status of the information system. In this study, the main reasons for this study are as follows: in this study, the main reasons for this study are as follows: in this study, the main reasons for this study are as follows: in this study, the main reasons for this study are as follows: in this study, the main purpose of this study is to record the information of the students in this study. in this study, the main purpose of this study is to record the information of the April.

项目成果

W.Kaneko, K.Kono, K.Shimizu: "Preemptive Resource Management : Defending against Resource Monopolizing DoS"Int'l Conf. on Parallel and Distributed Computing and Networks. 662-669 (2003)

W.Kaneko、K.Kono、K.Shimizu：“抢占式资源管理：防御资源垄断 DoS”国际会议。

T.Shinagawa, K.Kono, T.Masuda: "A Hierarchical Protection Model for Protecting against Executable Contents"Int'l Conf. Computer Science and Technology. (To appear). (2003)

T.Shinakawa、K.Kono、T.Masuda：“用于保护可执行内容的分层保护模型”国际会议。

T.Shinagawa, K.Kono, T.Masuda: "Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains"Lecture Notes in Computer Science, No. 2609, Springer-Verlag. (2003)

T.Shinakawa、K.Kono、T.Masuda：“基于细粒度保护域的灵活高效的沙箱”计算机科学讲义，第 2609 期，Springer-Verlag。

品川高廣, 河野健二, 益田隆司: "実行可能コンテンツの安全な実行環境"情報処理学会論文誌. 43巻・6号. 1677-1689 (2002)

Takahiro Shinakawa、Kenji Kono、Takashi Masuda：“可执行内容的安全执行环境”，日本信息处理学会汇刊，第 43 卷，第 6 期，1677-1689 (2002)。

品川, 河野, 益田: "ヘルパアプリケーションの安全な実行環境"情報処理学会OS研究会報告(2001-OS-88). 67-74 (2001)

Shinakawa、Kono、Masuda：“辅助应用程序的安全执行环境”日本信息处理协会操作系统研究小组报告 (2001-OS-88) (2001)。