课题基金 / 基金详情

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

先進的コンパイル技法を用いたセキュアなインターネット・サーバの実現
使用先进的编译技术实现安全的互联网服务器
批准号：
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を用いたことによるプロトコル処理のオーバーヘッドが十分に小さいことを示した.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
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”国际会议。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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：“用于保护可执行内容的分层保护模型”国际会议。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
品川高廣, 河野健二, 益田隆司: "実行可能コンテンツの安全な実行環境"情報処理学会論文誌. 43巻・6号. 1677-1689 (2002)
Takahiro Shinakawa、Kenji Kono、Takashi Masuda：“可执行内容的安全执行环境”，日本信息处理学会汇刊，第 43 卷，第 6 期，1677-1689 (2002)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Persistent TEE: データ・プライバシ保護のための堅牢な実行基盤
  • 批准号：
    23K28063
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $5.82万
  • 财政年份：
    2024
  • 负责人：
    河野 健二
  • 依托单位：
    Keio University
Persistent TEE: データ・プライバシ保護のための堅牢な実行基盤
  • 批准号：
    23H03373
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $9.15万
  • 财政年份：
    2023
  • 负责人：
    河野 健二
  • 依托单位：
    Keio University
サーバ配送による堅牢なインターネット・サーバ
  • 批准号：
    18700034
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $1.92万
  • 财政年份：
    2006
  • 负责人：
    河野 健二
  • 依托单位：
    Keio University
デバイス・ドライバの開発を支援するドメイン特化言語の設計と実現
海外基金