〜 特定領域研究「社会基盤としてのセキュア・コンピューティングの実現方
式の研究」ホームページ 〜
(平成12年9月〜平成16年3月)
領域代表者 : 東京大学大学院情報学環 教授 米澤 明憲
(Japanese
/
English
)
(フレーム版)
What's New!
Menu
- 研究概要 (スライド)
- Project 概要 (スライド) (
TACS2001 における発表)
- 記者発表資料
- 研究経過報告書(平成13年9月)
- 中間評価(文部科学省報道発表資料)(平成13年12月)
- 最終評価ヒヤリング資料(平成16年10月)
- 名簿
- 研究計画一覧
- A01班:システムセキュリティのための形式的検証法の研究
- (02)
米崎直樹:論理的仕様を基礎としたセキュアシステムの検証法
- (03)
小林直樹:セキュアコンピューティングのための型システム
- (04) 二木厚吉:振舞仕様に基づく安全性検証の研究
- A02班:セキュアシステムのためのソフト記述/実行機構システムの研究
- (05) 米澤明憲:移動コードを基本としたセキュアなプログラミング言語処理系
- (06)
渡部卓雄:拡張/適応可能ソフトウェアのセキュアな構成方式
- (07) 柴山悦哉:セキュリティーポリシーの記述体系とその交渉モデルに関する研究
- A03班:セキュアシステムのためのインフラストラクチャの研究
- (08) 徳田英幸:セキュアなモバイルアプリケーションのためのオペレーティングシステム支援機構
- (09)
加藤和彦:セキュアなソフトウェア実行系
- (10) 溝口文雄:エンタープライズセキュリティのためのシステム基盤ソフトウェアの研究
- ワークショップ等
- 新聞記事/雑誌記事等
- AnZenMail システム
更新:平成16年10月22日