セキュアソフトウェア開発環境DFITS : Data Flow Isolation Technology for Security(セッション5-B:セキュアプロトコルとセキュアソフトウェア開発)
スポンサーリンク
概要
- 論文の詳細を見る
我々は,保護・非保護のメモリを使い分けるセキュアプロセッサ上で,不正な解析・改変に耐える安全なソフトウェアを構築するための開発環境DFITSを提案する.DFITSは,暗号処理に注目してソースコードにおけるデータの流れを解析することにより,ソースコード中の変数を,機密情報などの保護必要変数と入出力などの保護不要変数とに自動分類し,分類結果に応じて変数を適切なメモリへ自動配置する.従来はセキュリティの専門知識をもつプログラマにしかできなかったこの作業を自動化することにより,安全なソフトウェアを効率的に作ることが可能となる.
- 2009-02-26
著者
-
春木 洋美
株式会社東芝研究開発センター
-
林 良太郎
株式会社東芝研究開発センター
-
橋本 幹生
株式会社東芝研究開発センター
-
中西 福友
株式会社東芝研究開発センター
-
藤松 由里恵
株式会社東芝研究開発センター
関連論文
- Linux OSのセキュリティプロセッサ向け移植(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- デジタル家電機器制御のためのIEEE 1394 UNIX APIとJava APIの設計と実装
- デジタル家電機器制御のためのIEEE1394 UNIX APIとJava APIの設計と実装
- IP over 1394の実装
- 家庭内ネットワークにおける機器制御方式
- デジタル家電の接続を考慮したホームゲートウエイアーキテクチャ
- IEEE1394を用いた家庭網プラットフォームの試作 : IP over 1394/家電制御APIの実装
- デジタル家電の接続を考慮した家庭ディレクトリサービス
- デジタル情報家電の接続を考慮した家庭ネットワークアーキテクチャ
- レジデンシャル環境におけるネットワーク相互接続方式
- 家庭網の相互接続環境における専用端末収容方法
- セキュアソフトウェア開発環境DFITS(Data Flow Isolation Technology for Security)(セッション5-B:セキュアプロトコルとセキュアソフトウェア開発)
- セキュアソフトウェア開発環境DFITS : Data Flow Isolation Technology for Security(セッション5-B:セキュアプロトコルとセキュアソフトウェア開発)
- ディペンダビリティとセキュリティ : デバイス、アーキテクチャ、ソフトウェア(ディペンダブルプロセッサ,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- ディペンダビリティとセキュリティ : デバイス、アーキテクチャ、ソフトウェア(ディペンダブルプロセッサ,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- ソフト処理ATM交換のスループットに対するデータ処理量の影響
- ソフト処理によるATM交換処理の実機評価
- レジデンシャル環境におけるネットワーク相互接続方式
- レジデンシャル環境におけるネットワーク相互接続方式
- セキュアソフトウェア開発環境DFITSにおけるセキュリティに注目したデータフロー解析(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- セキュアソフトウェア開発環境DFITSにおけるセキュリティに注目したデータフロー解析(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- Linux OSのセキュリティプロセッサ向け移植(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- Linux OSのセキュリティプロセッサ向け移植(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- Linux OSのセキュリティプロセッサ向け移植(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- セキュリティプロセッサL-MSPにおける高速ソフトウェアモジュール間通信機構(ディペンダブルプロセッサ,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- セキュリティプロセッサL-MSPにおける高速ソフトウェアモジュール間通信機構(ディペンダブルプロセッサ,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- A-7-11 製造者の内部犯罪を考慮したハードウェア個体鍵管理の一考察(A-7. 情報セキュリティ, 基礎・境界)
- M-062 耐タンパプロセッサにおけるプロセス切り替え方式(M.ネットワーク・モバイルコンピューティング)
- 敵対的なOSからソフトウェアを保護するプロセッサアーキテクチャ
- B-7-6 無線家庭網の機器管理に関する一検討
- オープンソースOSと共存可能なセキュリティプロセッサ技術 (特集 情報セキュリティ技術--安心・安全な社会へのソリューション)
- 配送時間公平性とセキュリテイを保証するマルチキャストプロトコルの実装の検討
- ソフト処理によるATM交換機におけるソフトウエア構成
- ATM企業網におけるセルフヒーリング方式の一提案
- データフロー解析に基づくセキュアソフトウェア開発支援技術DFITS (特集 社会インフラを支える情報セキュリティ技術)