权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

自己反映計算を用いた耐タンパ・ソフトウェアの系統的構成方式と記述言語の研究

基于自反射计算的防篡改软件系统配置方法及描述语言研究

基本信息

批准号：
14780205
负责人：
天野憲樹
金额：
$ 2.18万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2002
资助国家：
日本
起止时间：
2002 至 2004
项目状态：
已结题

项目摘要

申請時の研究実施計画にもとづいて研究を行った.以下は本年度の研究実績である.1.アーキテクチャの設計:白己反映計算を用いた耐タンパ・ソフトウェアのアーキテクチャを設計した.このアーキテクチャはメタレベルとベースレベルの2層構造で構成され,メタレベルは複数のモジュールをプラグインし,それらの並行な実行を可能とするように設計した.具体的なメタレベルの構成要素は暗号化・復号化機構,外部からの不正な操作を監視する機構そして複数のダミー機構からなる.メタレベルの動作はこれらの機構を実現したモジュール群の動作がインターリーブされたものである.さらに,インターリーブ実行に関する機構もメタレベルのモジュールとして実現し,可換となるように設計した.また,ベースレベルは秘密データを含む問題領域の記述であり,メタレベルから独立して記述され,実行時にメタレベルによって暗号化・復号化される.メタレベルは自己の一部を暗号化・復号化するとともにインタリーブ実行により自身の動作の解析を困難にする.2.フレームワークの実装と基本的な実験:上記1で設計したアーキテクチャを実現するためのフレームワークを実装し実験を行った.フレームワークはJavaのクラスライブラリとして実現し,これを用いて小規模な電子商取引を行う耐タンパ・モバイルエージェントを実装した.モバイルエージェントのプラットフォームは既にあるJavaベースのシステムを用いた.耐タンパ・モバイルエージェントは複数の計算機上に存在する仮想店舗を巡回して商品の購入を行うため,クレジットカードの情報などを内蔵する.これらの情報は耐タンパ機構により保護される.この実験を通して得られた知見をアーキテクチャの設計にフィードバックした.3.記述言語の設計:上記2で実装した耐タンパ・ソフトウェアのフレームワークからプログラミング言語として実現すべき機構を抽出し,言語シンタックスの設計を行った.本研究ではJavaを拡張することで記述言語を実現する方針であるため,Javaの構文との親和性を考慮したシンタックスの設計を行った.4.安全な適応動作を可能とするモバイルエージェントのモデル:モバイルエージェントの耐タンパ動作は移動先への安全な適応動作と見なせる.そのようなモバイルエージェントの安全性に関する考察を行い,それを支援するためのソフトウェア・モデルを設計し,このモデルの提案と議論を国際会議で行った.

The research plan is implemented at the time of application. The following are the results of this year's research: 1. Design of the game: White reflection calculation This Aokitek is composed of a two-layer structure of the Metaibel and the Betaibel. The Metaibel is composed of multiple layers and is designed to make parallel operation possible. The concrete constituent elements of the equipment include the coding and multiplexing mechanism, the external monitoring mechanism, and the multiple monitoring mechanism. The movement of the group of people in the group. In the meantime, the organization can change the design of the project. In addition, it is necessary to describe the problem area in a confidential manner, and to describe the problem area independently. 1. Design and implementation of the system. 2. Implementation of the system. Basic implementation of the system. 3. Implementation of the system. Java's Internet service is now available, and this is being used to support small-scale e-commerce. The Java version of the Java version is available in the Java version of the Java version. The information stored in the store that exists on a plurality of computers is stored in the store. This information is protected by the organization. 3. Description of the design of speech: 2. Implementation of the design of speech: implementation of the design of speech: implementation of the design of speech. This study describes the policy of language implementation in Java. 4. Safety adaptation action is possible. 5. Safety adaptation action is possible. 6. Safety adaptation action is possible. The safety of the equipment is investigated, supported, designed, and discussed at international conferences.