文部科学省 ２１世紀COEプログラム 慶応義塾大学SFC「次世代メディア・知的社会基盤」 持続可能性とセキュリティを考慮したITシステムの開発と運用（次世代インフラ基盤グループ）

1. 文部科学省２１世紀COEプログラム 平成１６年度成果報告
Security of IT, IT for Sustainability
平成１５年度時点の研究計画と結果
[1]コンピュータセキュリティ（○）
→Metamorphic viral coding detection（ウィルスの検出）
→Driverware Immune （実時間防御システム）
[2]非同期プロセッサの設計（×）
→State-space acquisition for DS-CDMA(CDMAの同期補足)
[3]電子透かしによるコンテンツ保護（○）
→GreenMarker Project（COEのコラボレーション）
COE研究員 次世代インフラ基盤グループ 安藤類央

2. ●コンピュータセキュリティ
[1]Ruo Ando, Hideaki Miura, Yoshiyasu Takefuji,
"File system driver filtering against metamorphic viral coding",WSEAS TRANSACTION
[2]安藤類央,野崎隆,武藤佳恭,
"ファイルシステムドライバを用いたメタモーフィックコーディングの検出",IPSJ CSS 2004
[3]安藤類央,武藤佳恭
"デモジュレーションを用いた形式的検証の自己改変型コード検出への適用",IPSJ CSEC 28th
[4]安藤類央,武藤佳恭
"改良例外ハンドラを用いた実時間オーバーフロー防御システム",IPSJ CSEC 28th
[5]安藤類央,武藤佳恭
"分岐命令処理フィルタを用いた不正プロセス実時間防御システム",IPSJ Special Issue
[6]Ruo Ando, Yoshiyasu Takefuji,
"BranchIP filter for real-time debug based malicious process nullification",IWIA 2005
[7]Ruo Ando, Yoshiyasu Takefuji,
"Formal method using demodulation against metamorphic viral coding",SOUPS 2005
●CDMA
[8]安藤類央,武藤佳恭
"超導出による状態空間問題解法のCDMA同期補足への適用",IPSJ UBI(MBL) 7th
●COEコラボレーション
[9]安藤類央,片桐由希子,
“三層型画像データ構造によるＧＩＳと植生図のアーカイビング方式の提案”,IPSJ DD47th（推薦論文）
[10]Ruo Ando, Yukiko Katagiri,
"GIS image synthesis in three-layer datastructure using FOL prover",IWAIT 2005
Publication

3. Solving state-space problem using hyperresolution for DS-CDMA
code aquisition 超導出による状態空間問題解法のＣＤＭＡ同期補足への適用
Otter : automated deduction system
http://www-unix.mcs.anl.gov/AR/otter/
状態空間問題（秤と天秤のパズル）
を利用してＣＤＭＡ同期補足の計算
コストを下げた
支持集合戦略 超導出
DS-CDMA

4. GIS image synthesis in three-layer data structure using FOL prover
Three layer image data format Bit plane decomposition
24 bit color images can be
decomposed 8(R)*8(G)*8(B)
binary matrix. This could be divided into
3 layers(upper 4/ middle 1/lower/3).
Bit Plane Frequency
Resolution high low
Robustness low high
The image file consist of three layers assigned to
eight planes in hexadecimal expression:
0x01.0x02.0x04.0x08, 0x16, 0x20, 0x40, 0x80.

5. GreenMarker:
Open source software
http://www.coe21.sfc.keio.ac.jp/greenmarker/
Biotope map
Confidential map encoder by FOL prover
Otter : automated deduction system
http://www-unix.mcs.anl.gov/AR/otter/
To encode 1024 bit data,
proposal system encoder could be described
within 800-600 bit.
hyperresolution
Application I(field computing) Application II(archiving)
GREENMARKER：OPEN SOURCE SOFTWARE （PROJECT）

6. Metamorphic viral coding detection
もっとも検出の難しい自己改変型コードを、発症時に検出
防止するシステムを提案実装した。

7. Supported by
US Air Force Office of Scientific Research
with Grant Number AOARD 03-4049.
Collaboration with SciencePark Corporation
Dirveware Immune Project : Real-time automated debugging
リビルド 制御（停止） 負荷
StackGuard/SSP 要 不可 中
Bounds Checking 要 可 大
OpenWall 不要 不可 小
提案手法 不要 可 中