プログラム依存グラフを利用した情報漏洩解析手法の提案と実装
スポンサーリンク
概要
- 論文の詳細を見る
情報漏洩解析とは,重要な情報を扱うプログラムが情報の漏洩を引き起こさないかどうか確認するための手法である.プログラムの入力値に設定された機密度から出力値の機密度を求める情報漏洩解析が提案,実現されている.一方で,プログラム依存グラフと呼ばれるプログラム内の文間の依存関係を有向辺で表現したグラフが,プログラム構造解析の分野において利用されている.既存の情報漏洩解析手法では,解析時に繰り返し計算を行うため,様々な機密度を入力値に与えて再計算を行うときに解析の時間的コストが問題となる.そこで本研究では,プログラム依存グラフを利用した情報漏洩解析手法の提案を行う.さらに,束構造を持つセキュリティモデルに対する情報漏洩解析の実現方法を提案する.また,システムを試作し,適用事例を通じてその有効性を検証する.
- 2002-07-19
著者
関連論文
- メソッド抽出の必要性を評価するソフトウェアメトリックスの提案(研究速報)
- ソフトウェアメトリクスとメソッド内の構造を用いたリファクタリング支援手法の提案
- コードクローン検出とその関連技術(ソフトウェア工学)
- UMLモデルを対象としたリファクタリング候補検出の試み
- プログラム理解のための付加注釈DocumentTagの提案(レビュー,品質(学生セッション))
- 大阪大学情報科学研究科におけるソフトウェアデザイン工学高度人材育成への取り組み
- ソフトウェア部品の利用関係におけるスケールフリー性の調査
- グラフマイニングアルゴリズムを用いたギャップを含むコードクローン情報の生成(ソフトウェア工学)
- 束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
- 開発履歴中のソースコードを対象とした更新の重要度を評価する手法の提案(ソフトウェア工学)
- コンポーネントランク法によるソフトウェアクラスタリング結果の理解性向上(テスト技法・保守技術)
- ソフトウェア部品分類手法へのコンポーネントランク法の応用(学生セッション C_開発プロセス)
- メソッド呼び出しパターンとして現れる横断的関心事の検出
- Strutsフレームワークにおけるメタモデルを用いた追跡可能性実現手法の提案(アスペクト指向・Web)
- アスペクトマイニングを自動的に行うツールの提案
- アスペクト指向プログラムのデバッグ支援環境 : プログラムスライスとコールグラフの利用(オブジェクト指向とWeb技術)
- アスペクトを用いた表明の記述(開発支援(学生セッション))
- アスペクト指向プログラミングのプログラムスライス計算への応用(テスト技法・保守技術)
- アスペクト指向プログラムに対するプログラムスライシング
- D-3-4 アスペクト指向プログラミングの動的プログラムスライスへの応用
- Javaソフトウェアの部品グラフにおけるべき乗則の調査(ソフトウェア基礎,プログラム理論)
- 構文木の差分を用いた版管理システム向きマージ機能(システム評価・管理技術)
- プログラム依存グラフの効率的な更新手法
- ソースコード解析ツール開発支援システムの試用
- メタモデルに基づくトレーサビリティ技術の提案
- リビジョン情報と電子メールを用いたオープンソース開発向き情報検索システム
- D-3-9 UMLで記述された設計仕様書からのファンクションポイント計測手法
- 大規模ソースコードを対象としたコードクローンの検出と可視化(ソフトウェアテスト技法・保守技術)
- コードクローンの長さに基づくプログラム盗用確率の実験的算出
- 5.産官学連携によるエンピリカルソフトウェア工学の実践 : データに基づく実証的アプローチ(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 協調動作するオブジェクト群の変化に基づく実行履歴の自動分割
- シーケンシャルパターンマイニングを用いたコーディングパターン抽出
- 実践的ソフトウェア開発演習支援のためのグループ間比較にもとづくプロセスモニタリング環境(教育実践研究論文,学習・教育支援のための技術開発)
- コード片に共通した特性を自動抽出するソースコード閲覧ツールの試作
- Empirical Project Monitor : プロセス改善支援を目的とした定量的開発データ自動収集・分析システムの試作
- 一般的なGUIに適した視線・マウス併用型ターゲット選択方式次世代インタラクションのための情報技術
- 機能実行履歴を用いたソフトウェア利用知識の共有(:知識と情報の共有)
- プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法
- ソフトウェアライセンスがコピーアンドペーストによる再利用に与える影響の調査
- コメント文によるプログラム中に出現する名詞の説明文生成
- 影響波及解析を利用した保守作業の労力見積りに用いるメトリックスの提案(ソフトウェア工学)
- 保守請負時を対象とした労力見積りのためのメトリクスの提案
- 保守の影響波及範囲に基づいたレガシーシステムの障害予測
- 第31回ソフトウェア工学国際会議(ICSE2009)参加報告
- プログラム実行履歴を用いたトランザクションファンクション抽出手法
- 動作オブジェクト群の変化に着目したオブジェクト指向プログラムの実行履歴分割手法
- D-3-5 協調動作するオブジェクト群に着目したJavaプログラムの実行履歴分割手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
- ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作(ソフトウェア工学)
- リファクタリングのための変更波及解析を利用したテスト支援ツールの提案
- インラインスクリプトを含んだXHTML文書に対するデータフロー解析を用いた構文検証手法(テスト技法・保守技術)
- D-3-5 XHTML 構文検証手法におけるスクリプト要素の静的解析アルゴリズム
- Java Scriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案(組込みソフトウェア工学及び一般)
- JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
- JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
- D-3-5 JavaScriptを含むHTML文書の妥当性検証手法の提案
- 類似メソッドの集約のための差分抽出支援(フレッシャーズセッション)
- ソースコードに対して適用可能な編集手順を探索するリファクタリング支援手法の提案
- アイテムセットマイニングを利用したコードクローン分析作業の効率向上
- UMLモデルを対象としたリファクタリング候補検出の試み
- ソフトウェア開発プロジェクトのリアルタイム管理を目的とした支援システム(ソフトウェア開発環境・開発支援システム, システム開発論文)
- 多言語対応メトリックス計測プラグイン開発基盤MASUの開発(ソフトウェア工学)
- 事故前提社会に向けたユーザ・ベンダ間での開発データ共有 第2回 : −ソフトウェアタグ規格とソフトウェアタグ支援ツール−
- ユーザ視点に立ったソフトウェア開発データ活用技術の提案(解析・検証(一般セッション))
- コードクローン履歴閲覧環境を用いたクローン評価の試み
- 1Q-5 コーディングパターンとキーワードを用いて生成したコードスニペットの推薦(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 動的情報を利用したソフトウェア部品評価手法
- 動的情報を利用したソフトウェア部品評価手法の提案と評価
- クラス動作シナリオ可視化手法のプログラム理解作業に対する有効性評価
- コードクローン検索による類似不具合検出の実証的評価(ソフトウェア工学)
- 束構造のセキュリティモデルに基づくプログラムの情報フロー解析
- シーケンシャルパターンマイニングに基づくオブジェクト指向プログラムのための欠陥検出手法
- シーケンシャルパターンマイニングに基づくオブジェクト指向プログラムのための欠陥検出手法
- シーケンシャルパターンマイニングに基づくオブジェクト指向プログラムのための欠陥検出手法
- 利用実績に基づくソフトウェア部品重要度評価システム(ソフトウェア工学)
- ソースコード間の関係を用いた再利用性評価手法の提案
- コードの生存期間を考慮したコードクローンと欠陥修正の関係調査
- 状況に応じた設計情報の再利用を支援するUML図の自動推薦ツール
- 開発中のソースコードに基づくソフトウェア部品の自動推薦システムA-SCORE
- 同時変更が生じた Template Method パターンの適用事例の調査
- ソースコードの編集内容を用いたソフトウェア部品の自動推薦手法(ソフトウェア部品・コーディング支援)
- Data dependency based test case generation for BPEL unit testing (ソフトウェア工学)
- 4Q-5 ソースコードの編集内容を入力としたソフトウェア部品の自動検索(再利用,保守,学生セッション,ソフトウェア科学・工学)
- 1ZK-3 コードクローンのメトリクス値と開発者の相関の調査(リーディングプロジェクト e-society:コードクローン検出によるソフトウェア開発技術,一般セッション,リーディングプロジェクト e-society)
- Javaソフトウェア部品検索システムSPARS-J(ソフトウェア工学)
- ソフトウェア部品推薦のための協調フィルタリング手法の提案と実現
- Javaを対象としたソフトウェア部品検索システムSPARS-Jの実験的評価
- Javaソフトウェア部品解析・検索システムSPARS-Jの構築
- Javaソフトウェア部品解析・検索システムSPARS-Jの構築
- Java ソフトウェア部品解析・検索システム SPARS-J の構築
- 利用頻度に基づくソフトウェア部品の解析・検索システムの提案
- 名前の重複を考慮したJavaソフトウェア部品間の利用関係解析手法の提案
- コンポーネントランクを用いたソフトウェアのクラス設計に関する分析手法の提案
- コンポーネントランクを用いた開発プロセス評価手法の有効性について(テスト・評価)
- 開発履歴データのリアルタイム収集・分析システムEPMの拡張について : SRGMを用いた予測グラフの実現および既存解析システムとの連携
- エイリアス関係を考慮したJavaスライシングツール
- エイリアス関係を利用したJavaスライシングツールの実現
- オブジェクト指向プログラムの変更作業を支援する影響波及解析システム
- スライス計算効率化のためのプログラム依存グラフの節点集約法
- セキュリティ解析アルゴリズムの実現とオブジェクト指向言語への適用に関する一考察
- プログラム依存グラフを利用した情報漏洩解析手法の提案と実装