シーケンス図のパターンに基づくセキュリティ脅威の検出法(再利用とプログラミング)
スポンサーリンク
概要
- 論文の詳細を見る
システム設計段階において,あらかじめシステムに存在するセキュリティ脅威を検出し対策を講じることによって,より安全で高信頼度のシステムを開発することができる.しかし,脅威の検出にはセキュリティに関する知識が必要であったり,見落としを極力減らす必要があることから,コストや時間がかかる.そこで本稿では,入力されたシナリオシーケンスに対し,あらかじめ知識として保持しているセキュリティ脅威パターンとの比較によって,対象システムに発生しうる脅威を検出し,ミスシナリオとして提示する手法を提案する.シナリオ記述及びセキュリティ脅威パターンの記述において,セキュリティドメインに基づくプロファイルに従ったUMLシーケンス図を利用し,セキュリティ脅威パターン作成のための知識として,コモンクライテリアで定められているセキュリティターゲットを用いる.本稿では適用事例を用いて手法の有用性を確認した.
- 一般社団法人電子情報通信学会の論文
- 2013-05-02
著者
-
林 晋平
東京工業大学大学院情報理工学研究科計算工学専攻
-
佐伯 元司
東京工業大学
-
佐伯 元司
東京工業大学大学院情報理工学研究科
-
林 晋平
東京工業大学
-
佐伯 元司
東京工業大学大学院情報理工学研究科計算工学専攻
-
阿部 達也
東京工業大学大学院情報理工学研究科計算工学専攻
関連論文
- 開発履歴を用いたリファクタリング支援の研究(研究会博士論文速報)
- CAiSE'06参加報告
- CAiSE' 06参加報告
- ゴール指向要求分析のためのドメインオントロジの利用法(ソフトウェア開発とオントロジー,プロジェクト管理とモニタリング,一般)
- 要求分析のためのドメインオントロジ構築支援
- ドメインオントロジを用いた要求獲得支援ツールの実現
- 榎本肇先生を偲んで(追悼抄)
- データマイニング技術を応用したソフトウェア構築・保守支援の研究動向 (特集 ソフトウェア工学)
- アスペクト概念を利用したゴール指向要求獲得法
- 要求仕様と再利用可能な実現構造の振る舞いの差分検出に基づく要求分析(オブジェクト指向,言語設計(学生セッション))
- モデル駆動型開発におけるモデルメトリックスの定義手法
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- データマイニング技術を応用したソフトウェア構築・保守支援の研究動向
- ユースケース記述に対するフレームワーク利用法の導出(アーキテクチャ・フレームワーク(学生セッション))
- 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告
- 非同期型のコミュニケーションを用いた共同作業における阻害要因の分析
- 静的解析と動的解析を用いたデザインパターン検出手法
- UMLで記述したモデルの構成管理支援法(要求工学)
- デザインパターンのオブジェクト指向モデル化と支援ツールへの応用(ソフトウェアシステム)
- デザインパターンのオブジェクト指向モデル化と支援ツールへの応用
- フレームワークの要求仕様に対する適合性の評価手法
- グラフ変換を用いたUMLモデルのリファクタリング支援
- デザインパターンのモデル化と適用支援ツール
- ソフトウェアパターンの変換に基づくソフトウェア開発
- フレームワークに基づいた変更支援法について
- ベイジアンネットワークを用いたソフトウェア実装技術の選択支援
- 要求獲得におけるシソーラスの効果・効用について
- シソーラスを用いた要求分析法
- ASE2004参加報告
- 要求分析のためのシソーラス作成支援
- サマーワークショップ・イン・立山 開催報告
- 仕様記述過程モデル化のための実験と分析
- PAORE : パッケージ指向の要求獲得プロセス
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- 要求工学における人工知能技術(知能ソフトウェア工学〔第4回〕)
- 6 要求仕様の品質特性(要求工学)
- ソフトウェアエンジニアリングシンポジウム2010開催報告
- ゴールグラフからのフィーチャモデル導出(要求,アーキテクチャ(学生セッション))
- 座談会 人間の知能と機械の知能 : 1986年9月6日 於:北海道大学
- CAiSE'06参加報告
- CAiSE'06参加報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- 要求工学国際会議(RE'04)の開催を振り返って(要求工学・ドメイン分析)
- 振る舞いモデルを用いたフレームワーク利用支援ツール
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- シソーラスを利用した要求獲得方法(THEOREE)
- 編集操作の分類に基づくソースコード差分の構造化
- コモンクライテリアをドメイン知識としたゴール指向セキュリティ要求獲得法
- ユースケース記述からの状態遷移モデル生成
- ウインターワークショップ2009・イン・宮崎 開催報告
- 第14回アジア太平洋ソフトウェア工学国際会議(APSEC 2007)開催および参加報告(動向・報告(一般セッション))
- デザインパターン検出のためのテストケース作成支援
- 動的スライシングを用いた漸進的Feature Location手法
- ベイジアンネットワークを用いた実装プラットフォームの選択支援
- 属性つきゴール指向要求分析法の支援のための統合ツール
- 属性つきゴール指向要求分析法の支援のための統合ツール
- ドメインオントロジを用いた自然言語文書とソースコード間の追跡可能性の復元(オントロジ,教育(学生セッション))
- 仕様書とJavaソースコードの構造の類似性に基づく対応付け(アーキテクチャ・フレームワーク(学生セッション))
- 探索手法を用いたリファクタリング情報の抽出(学生セッション H_開発支援)
- 第15回アジア太平洋ソフトウェア工学国際会議(APSEC 2008)参加報告
- プログラムの変更履歴に基づくリファクタリング支援
- ソフトウェアメトリクスの統合によるソースコード変更の選択(メトリクス(学生セッション))
- メトリクス値の変化の可視化によるプログラム変更の支援(メトリクス(学生セッション))
- リファクタリング支援に用いる知識抽出のためのソフトウェアリポジトリの解析
- ソフトウェア開発会議におけるステークホルダと関心事の可視化ツール
- ゴールグラフの品質向上支援ツールとその評価
- 責務記述に基づくクラスの責務割り当て支援
- 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価
- Feature Locationを用いたソフトウェア機能の対話的な実装理解支援
- 要求獲得におけるステークホルダの偏りと不足を検出する可視化ツール
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に (ソフトウェアサイエンス)
- 第27回ソフトウエアエ学の自動化国際会議(ASE2012)参加報告
- ウィンターワークショップ2012・イン・琵琶湖開催報告
- ソフトウェアの機能に対応する実装構造の抽出と可視化手法の提案 (知能ソフトウェア工学)
- ソフトウェアの機能に対応する実装構造の抽出と可視化手法の提案 (ソフトウェアサイエンス)
- ソフトウェア進化研究の分類と動向
- 第27回ソフトウェア工学の自動化国際会議(ASE 2012)参加報告 (ソフトウェアサイエンス)
- 多層システムのための形式概念分析に基づくFeature Location 手法の提案 (ソフトウェアサイエンス)
- ベイジアンネットワークを用いたソフトウェア実装技術の選択支援 (特集 未来志向のソフトウェア工学)
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に
- 多層システムのための形式概念分析に基づくFeature Location手法の提案
- ウィンターワークショップ2013・イン・那須報告
- ソフトウェアの機能に対応する実装構造の抽出と可視化手法の提案(一般)
- ソフトウェアの機能に対応する実装構造の抽出と可視化手法の提案(一般)
- ウィンターワークショップ2012・イン・琵琶湖開催報告(報告,ソフトウェアサイエンス、理論)
- 第27回ソフトウェア工学の自動化国際会議(ASE2012)参加報告(報告,ソフトウェアサイエンス、理論)
- 属性つきゴールグラフにおけるゴールの品質特性
- 要求構造明確化のためのゴールグラフの多次元拡張(一般)
- シーケンス図のパターンに基づくセキュリティ脅威の検出法(再利用とプログラミング)
- 反復型アプローチによるソフトウェア機能の捜索と識別の改善
- クラス責務割り当て問題へのファジィ制約充足問題の適用
- 反復型アプローチによるソフトウェア機能の捜索と識別の改善
- クラス責務割り当て問題へのファジィ制約充足問題の適用
- 機能捜索結果を利用したプレファクタリング支援