セキュアソフトウェア開発環境DFITSにおけるセキュリティに注目したデータフロー解析(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
我々は,セキュリティプロセッサの提供する保護・非保護メモリ機構を用いてメモリ上の情報の漏洩・改ざんを防ぐソフトウェアの開発環境DFITSを提案した.本稿では,ソースコード中の変数を保護・非保護いずれのメモリに割り付けるかをデータフローの静的解析により判断するDFITSシステムの設計および試作について報告する.また,実用プログラムに対して試作したシステムを適用し,有効性を確認する.
- 社団法人電子情報通信学会の論文
- 2009-04-14
著者
-
春木 洋美
株式会社東芝研究開発センター
-
林 良太郎
株式会社東芝研究開発センター
-
橋本 幹生
株式会社東芝研究開発センター
-
中西 福友
株式会社東芝研究開発センター
-
藤松 由里恵
株式会社東芝研究開発センター
関連論文
- 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 (特集 社会インフラを支える情報セキュリティ技術)