セキュリティ機能方針の具体化によるセキュリティ機能要求分析手法
スポンサーリンク
概要
- 論文の詳細を見る
脆弱性の少ないシステムを開発するために,我々は分析の複雑さを緩和し、漏れなくセキュリティ要件を抽出することを目的として,UMLを用いた機能要求分析モデルに,セキュリティ評価基準であるコモンクライテリアを用いて分析したセキュリティ機能要求分析モデルを統合する手法を研究している.コモンクライテリアにおいて,セキュリティ機能方針はシステムの振舞いに対して主体・対象・情報等のセキュリティの振舞いを記述する規則の集合であることから,本稿では,機能要求分析モデルの要素とこれらの規則とを対応付けることでセキュリティ機能要求を分析し,UMLモデルを用いて,機能要求分析モデルに統合する方法について議論する.
- 2013-03-06
著者
-
小形 真平
芝浦工業大学大学院工学研究科
-
松浦 佐江子
芝浦工業大学大学院 工学研究科
-
松浦 佐江子
芝浦工業大学大学院
-
小形 真平
芝浦工業大学大学院工学研究科機能制御システム専攻
-
小形 真平
芝浦工業大学 大学院工学研究科 機能制御システム専攻
関連論文
- 6M-6 コードクローンの特徴に基づくリファクタリング手法(ソフトウェア開発,学生セッション,ソフトウェア科学・工学)
- UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成手法
- 6W-3 ゴール指向を用いたセキュリティ要件の定義手法の提案(セキュリティと社会・リスク管理,学生セッション,セキュリティ)
- モデル駆動開発によるETロボコンへの取り組みと評価(デバッグ,モデル駆動開発)
- 連想アスペクト(アスペクト指向)
- 授業の多様性に柔軟に適応するLMSの開発(情報教育と授業支援システム/一般)
- ソースコード解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア解析)
- 組込みソフトウェアにおける段階的モデル駆動開発実験
- B-019 組込みシステムのモデル駆動開発実験(ソフトウェア,一般論文)
- 6Q-4 実行可能モデルを用いたモデル駆動開発実験(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- 5L-9 Java言語におけるテスト駆動開発支援ツール(プログラミング支援環境,学生セッション,ソフトウェア科学・工学)
- サービス非依存インタラクションモデルを用いたシステム開発の提案(モデルベース開発)
- UML要求分析モデルからの段階的な Web UI プロトタイプ自動生成手法
- UML要求分析モデルに基づくモデル駆動開発実験におけるトレーサビリティ評価 (知能ソフトウェア工学)
- 再利用可能部品としてのPIMの適用性実験(MDA/OCL)
- Javaプログラムの品質診断ツールとその教育への効果的利用方法(オープンソースやデバイス技術を活用した学習環境/一般)
- ブロック構造の可視化環境によるプログラミング学習支援(オープンソースやデバイス技術を活用した学習環境/一般)
- ソフトウェア開発グループ演習支援システムの開発
- 仕様記述過程モデル化のための実験と分析
- サービス非依存インタラクションモデルを用いたシステム分割手法(要求,アーキテクチャ(学生セッション))
- 4M-8 ユースケースの例外抽出手法におけるシステム品質改善の検証実験(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
- 4M-3 ユースケース記述推敲における用語の洗練方法(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
- 6L-6 使用性の向上を目的としたJava単体テスト方法学習支援ツールの改善と分析(ソフトウェア設計,学生セッション,ソフトウェア科学・工学)
- 6L-3 組込みシステムにおけるトップダウン設計方法の一考察(ソフトウェア設計,学生セッション,ソフトウェア科学・工学)
- 6L-1 UML要求分析モデルからのUIプロトタイプ自動生成手法の評価実験(ソフトウェア設計,学生セッション,ソフトウェア科学・工学)
- B-015 UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成の実験例(ソフトウェア,一般論文)
- B-007 サービス非依存インタラクションモデルを用いたシステム開発の提案(ソフトウェア,一般論文)
- サービス非依存インタラクションモデルを用いたシステム開発の提案(モデルベース開発)
- UMLの要求分析モデルからのWebアプリケーションプロトタイプ自動生成(UML(学生セッション))
- オブジェクト指向開発における妥当性検査
- Javaプログラミング初学者に対するテスト方法学習支援ツール(e-Learningにおける学習評価/一般)
- プログラミングレポート採点支援ツールと課題設計による評価方法の改善
- N-020 Javaプログラミング初学者のためのテスト学習支援(N分野:教育・人文科学)
- プログラミング演習における評価方法の改善
- EVA : 仕様変更プロセスを用いたプログラム開発支援システム
- 仕様変更プロセスの効果的な再利用 : まね方をまねる
- Flageアーキテクチャのためのプログラム合成メカニズム
- Flageアーキテクチャにおける記述モデル
- Flageアーキテクチャの構想
- 仕様変更のプログラムへの写像 : 仕様変更プロセスを利用したプログラム合成
- エージェント指向言語Flage(4) : 自己形成プロセスを利用したメソッド合成
- ソフトウェアプロセスにおける協調とその抽象化について (ソフトウェア生産環境)
- プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上
- プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上
- Javaプログラムの品質診断ツールとその教育への効果的利用方法
- 6Q-6 MDAを用いたサービス非依存インタラクションモデルの構築(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- B-028 再利用可能部品としてのPIMの適用性実験(B分野:ソフトウェア)
- ゴール指向を用いたセキュリティ要件の定義手法の提案
- ゴール指向を用いたセキュリティ要件の定義手法の提案
- ゴール指向を用いたセキュリティ要件の定義手法の提案
- モデル駆動要求分析におけるエンドユーザ入力制約のモデル化とバリデーションコード生成
- RB-001 Web UIプロトタイプ自動生成ツールを用いたユースケース駆動要求分析の評価実験(ソフトウェア,査読付き論文)
- プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上
- プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上
- 6Q-3 UMLの要求分析モデルからのWebアプリケーションプロトタイプ自動生成(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- 5Q-8 パフォーマンス評価によるグループ活動の改善支援(プロジェクト管理,共同作業支援,学生セッション,ソフトウェア科学・工学)
- 5Q-6 学生のソフトウェア開発実習における問題共有方法の考察(プロジェクト管理,共同作業支援,学生セッション,ソフトウェア科学・工学)
- 5Q-2 学生のソフトウェア開発実習における制約条件を利用した作業スケジュール作成(プロジェクト管理,共同作業支援,学生セッション,ソフトウェア科学・工学)
- 5Q-1 ソフトウェア開発初学者における作業計画の見積り支援(プロジェクト管理,共同作業支援,学生セッション,ソフトウェア科学・工学)
- UMLで記述された要求分析モデルからのプロトタイプ自動生成(UML/開発方法論)
- 6P-1 アクティビティ図のデータフローに着目した振る舞い仕様の定義と検証(ソフトウェア理解支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- UML要求分析モデルに基づくモデル駆動開発実験におけるトレーサビリティ評価
- B-002 モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入(B分野:ソフトウェア,一般論文)
- CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成 (知能ソフトウェア工学)
- プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用 (知能ソフトウェア工学)
- UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 (知能ソフトウェア工学)
- B-014 UMLで記述された要求分析モデルからのプロトタイプ自動生成(B分野:ソフトウェア)
- CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成
- プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用
- UML要求仕様からのカバレッジに基づく機能テストのテストケース生成
- ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析 (知能ソフトウェア工学)
- 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール (知能ソフトウェア工学)
- 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール
- ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析
- UML要求仕様からのAndroid-UIプロトタイプ自動生成手法 (知能ソフトウェア工学)
- UMLシナリオを活用したインタラクションの欠陥発見手法 (知能ソフトウェア工学)
- UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法 (知能ソフトウェア工学)
- UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法 (ソフトウェアサイエンス)
- UMLシナリオを活用したインタラクションの欠陥発見手法
- UML要求仕様からのAndroid-UIプロトタイプ自動生成手法
- AndroidアプリケーションのUIの変更に伴うUML要求仕様への影響の分析
- 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法
- 要求仕様と設計の機能要件のトレーサビリティを保持する為のWebアプリケーション設計手法の評価
- セキュリティ機能方針の具体化によるセキュリティ機能要求分析手法
- ユースケース記述における初学者特有の問題点への系統的な改善方法(学生及び若手(パラレルセッション:設計他))
- B-012 ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析(ソフトウェアアーキテクチャ,B分野:ソフトウェア)
- B-001 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール(テスト・検証,B分野:ソフトウェア)
- UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法(一般)
- RO-008 UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法(ビジネスモデリング,O分野:情報システム)
- UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法(一般)
- ユースケース記述における初学者特有の問題点への系統的な改善方法(学生及び若手(パラレルセッション:設計他))
- ユースケース記述の意図の明確化を目的とした初学者特有の問題点の分析
- B-027 要求分析モデルを用いたエンティティ間の関連と属性に対するデータライフサイクル検証手法の提案(テスト・検証・解析,B分野:ソフトウェア)
- データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法
- 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法(一般)
- UML要求分析モデルへのモデル検査技術適用による実現可能性の検証
- UML要求分析モデルへのモデル検査技術適用による実現可能性の検証
- 要求分析モデルのマルチプラットフォーム適用実験に基づく十分性の分析
- UML要求仕様からのAndroid-UIプロトタイプ自動生成手法
- UML要求分析モデルにおけるCRUD観点のデータライフサイクルの妥当性検査手法