研究プロジェクト
セキュアシステム研究部門で行っている主なプロジェクトの一覧です。
セキュアサービス分野
- インターネットにおける安全な認証技術に関する研究
- ヒューマンエラー対策技術
- ネットワークサービスにおけるプライバシーに関する研究
制御システムセキュリティ分野
- 制御システムの高セキュア化
- SBD: セキュリティバリアデバイス
- ホワイトリストアクセス制御
- ハイパーバイザー
- ハードウェアの安全性評価技術と偽造防止技術
- サイドチャネルアタック解析ボード SASEBO
- 物理的複製不可能回路に基づくハードウェア偽造防止技術
安全なソフトウェア開発分野
- 安全なソフトウェアを設計する技術
- Calot (FOT): 機能分析に基づく網羅的なテスト設計支援技術
- Modbat: モデルベーステストツール
- SENS: システムテスト向けの機能設計言語
- CONPASU: 並列プログラムの解析・設計支援技術
- ソフトウェアを安全に実装する技術
- プロトコル仕様からのソフトウェアと検査器の自動合成
- ソフトウェアの安全性を検査・保証する技術
- ソフトウェアを安全に動作させる技術
- 言語処理系による安全性の確保に関する研究 (Fail-Safe C ほか)
- 仮想化環境を応用したソフトウェア安全性に関する技術
- ソフトウェア・システムの安全性と社会との関係
- 認証工学: 認証と規格策定への工学的アプローチ
次世代セキュリティ分野
主な共同研究先
- アメリカ合衆国 国立標準技術研究所（NIST）
- 株式会社アルファシステムズ
- 株式会社エルイーテック
- 岡山大学
- オムロン ソーシアルソリューションズ株式会社
- 慶応義塾大学
- 神戸大学大学院システム情報学研究科
- サイエンスパーク株式会社
- 大日本印刷株式会社
- 千葉大学
- 電子商取引安全技術研究組合
- 電気通信大学
- 株式会社東海理化電機製作所
- 東京エレクトロン デバイス株式会社
- 株式会社東芝
- 株式会社東芝 セミコンダクター＆ストレージ社
- 東北大学
- トヨタ自動車株式会社
- 株式会社ドリーム･アーツ沖縄
- 西日本旅客鉄道株式会社
- パナソニック株式会社
- 東日本旅客鉄道株式会社
- 株式会社日立製作所
- 北海道総合通信網株式会社
- 立命館大学
- ルネサスエレクトロニクス株式会社
※2009年度〜2013年度、50音順
主な競争的研究プロジェクト
- 経済産業省
- 基準認証研究開発委託事業
- 次世代高信頼・省エネ型IT 基盤技術開発・実証事業（再委託）
- 戦略的基盤技術高度化支援事業（サポイン事業）
- 戦略的国際標準化加速事業（国際標準共同研究開発・普及基盤事業）
- 総務省 戦略的情報通信研究開発推進制度（SCOPE）
- 独立行政法人情報通信研究機構 高度通信・放送研究開発委託研究
- 独立行政法人科学技術振興機構
- 研究成果最適展開支援プログラム (A-STEP)
- 【フィージビリティスタディ】ステージ シーズ顕在化タイプ
- 【産学共同促進】ステージ シーズ育成タイプ
- 戦略的国際共同研究プログラム（日印・日仏）
- 戦略的創造研究推進事業 CREST
- 研究成果最適展開支援プログラム (A-STEP)
※2009年度〜2013年度、50音順
過去のプロジェクト・研究テーマ
組織改編以前より継続中のテーマについては、RCIS の研究テーマ および CVS の研究テーマ のページもご覧ください。