モデル駆動型開発に基づくSOAのセキュリティ開発プロセス
スポンサーリンク
概要
- 論文の詳細を見る
WS-Securityを適用したSOAアプリケーションでは複雑なセキュリティ設定が必要となるが,現状のSOA開発プロセスでは,どのようにセキュリティ設定を行うかが明確ではない.そのため,開発の下流プロセスでセキュリティ要件を考慮することになり,一部の開発者に負担がかかったり,正しいセキュリティ設定が難しかったりするという問題がある.本研究では,SOAアプリケーションのセキュリティ開発プロセスを明確にし,各プロセスで開発者が行う役割を定義する.また,複雑なセキュリティ設定を簡単に行うためにセキュリティ設定を抽象化したセキュリティ注釈を導入し,モデル駆動型セキュリティを提案する.これにより,アプリケーションのセキュリティ要件を開発の上流プロセスから考慮でき,モデル変換によりセキュリティ設定を自動生成することが可能になる.
- 一般社団法人情報処理学会の論文
- 2008-07-15
著者
-
佐藤 史子
日本アイ・ビー・エム(株)東京基礎研究所
-
小野 康一
日本アイ・ビー・エム株式会社 東京基礎研究所
-
中村 祐一
日本アイ・ビー・エム(株) 東京基礎研究所
-
小野 康一
日本アイ・ビー・エム株式会社東京基礎研究所
-
小野 康一
日本ibm東京基礎研究所
-
佐藤 史子
日本アイ・ビー・エム株式会社東京基礎研究所
-
中村 祐一
日本アイ・ビー・エム株式会社サービス事業部
-
中村 祐一
日本アイ・ビー・エム
関連論文
- 21.温室効果ガス排出量報告のXBRLによる国際標準化の提案(情報処理技術の未来地図,50周年記念特集号)
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- IBMプロフェッショナル論文 組み込みシステムのアーキテクチャー設計と性能評価のためのモデル・ベース手法
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (ディペンダブルコンピューティング)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (コンピュータシステム)
- アスペクト指向技術の適用によるドメインフレームワークのモジュール性向上(オブジェクト指向とWeb技術)
- アスペクト指向の導入によるフレームワークの理解容易性の向上(組込みソフトウェア工学及び一般)
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- 携帯端末用Webページから通常端末用ページを構成する手法--Webページのモデル化とその評価 (ソフトウェアサイエンス)
- 信頼性の高い温室効果ガス排出量取引のための情報技術
- 温室効果ガス排出量報告のXBRLによる国際標準化の提案
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- 動的解析による Web アプリケーション・モデル抽出支援手法(情報システム開発の支援環境と手法)(情報システム論文)
- 動的解析による Web アプリケーション・モデル抽出支援手法
- ページ・機能のモジュール性を高めるWebアプリケーションフレームワークの提案
- XMLがもたらす創造的ネットワーク : 動的な情報源と分散エージェント (「創造的ネットワーク化情報環境に向けて」)
- モデル駆動型開発に基づくSOAのセキュリティ開発プロセス
- Webサービスセキュリティの最新動向 : WS-SecurityとWS-SX(WS-Secure Exchange)関連仕様(2)(グリッドとSOAからみるWebサービス標準技術-10)
- Webサービスセキュリティの最新動向 : WS-SecurityとWS-SX(WS-SecureExchange)関連仕様(1)(グリッドとSOAからみるWebサービス標準技術9)
- モデル駆動型開発に基づくセキュリティ設定 : Webサービスのための認証設定(モデル指向(一般セッション))
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 携帯端末用Webページから通常端末用ページを構成する手法 : Webページのモデル化とその評価
- 生産計画システム構築のためのオブジェクト指向フレームワーク
- エキスパートシステム構築における知識レベル分析 : ルール表現からモデル構築オペレータへの変遷を通して
- 問題解決パターンに基づくオントロジー設計
- 汎タスクレベルを介した問題解決知識の再利用について
- 推論オペレータ導出のための問題構造のモデル化 : 汎タスクレベルのマクロ構造
- 汎タスクレベルにおける推論オペレータの導出
- 多種端末向けWebコンテンツ適用のための変換方式とオーサリングツール (2000年情報学シンポジウム--ネットワーク型情報メディアの活用と情報を活かす新技術) -- (セッション6:情報の可視化)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- SA-7-4 マルチエージェントシステム「たびCan」の実行環境とエージェントの組み合わせ方
- Agletsを利用したエージェント・マーケットプレース
- コンポーネント指向Webアプリケーションフレームワークにおけるモジュール性の向上のための一手法
- Model2アーキテクチャのコンポーネント間関係に基づいたWebアプリケーション開発支援
- 標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- B-17 オブジェクト指向フレームワークの標準的使用法に基づく対話的理解支援(オブジェクト指向とパターン,B.ソフトウェア)
- フレームワーク製作者の意図を考慮した再構成手法
- 制約記述の導入によるフレームワークのカスタマイズ作法の提示
- 標準的実装からの逸脱度によるフレームワークの設計評価
- スライシングを用いたフレームワークの再構成支援技法
- 5ZC-5 ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス
- フレームワーク・ナビゲータ : フレームワークを用いたアプリケーション実装の支援
- 仕様記述言語ZZと実行時仕様
- ドメインモデルの形式的記述手法ならびに要求仕様獲得への活用
- プログラム変更に対する正当性検証技法と分割技法の適用
- 論理型仕様の理解支援のための一手法
- 移動エージェントAgletsのセキュリティ・モデル(特集●インターネット)
- Webサービス
- Webサービス合成のための振舞い記述のしくみ(「Semantic Webとその周辺」)
- 平成19年度情報処理学会喜安記念業績賞を受賞して : 受賞業績 Webサービス技術の基盤確立と標準化,ならびに普及への貢献(平成19年度喜安記念業績賞紹介)
- B-017 時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法(B分野:ソフトウェア,一般論文)
- RB-002 MARTEプロファイルを適用したUMLモデルによる組込みシステムの性能評価シミュレーション(B分野:ソフトウェア,査読付き論文)
- 座談会 : AIと電子商取引の展望(AIの観点から見た電子商取引の将来像)
- 2.3 Apacheプロジェクトに見るオープンソース開発の実際(オープンソースソフトウェア)
- Web探訪 developer Works
- オープンソース開発 : Apache SOAP/Axisの開発経験から (新しいソフトウェア工学の実践と課題)
- コマースフローの観点から見たECの全体像(AIの観点から見た電子商取引の将来像)
- 「AIの観点から見た電子商取引の将来像」の編集にあたって
- オブジェクトの視覚化を利用したプログラム理解支援
- オントロジーに基づく知識再利用
- 92-26 モデル合成オペレータ
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- Simulinkモデルにもとづいた並列Cコード生成(コード生成と通信技術,組込み技術とネットワークに関するワークショップETNET2011)
- Simulinkモデルにもとづいた並列Cコード生成(コード生成と通信技術,組込み技術とネットワークに関するワークショップETNET2011)
- オブジェクト指向に基づく分析結果とプログラムからの設計上の決定抽出
- 2122 SysMLによる製品システムモデルの検証ツール(OS6-1 モデル駆動型の製品システム開発,OS6 モデル駆動型の製品システム開発)
- グラフ後方依存への重み付けによるマルチコアタスク配置手法
- グラフ後方依存への重み付けによるマルチコアタスク配置手法
- グラフ後方依存への重み付けによるマルチコアタスク配置手法 (コンピュータシステム・組込み技術とネットワークに関するワークショップETNET2012)
- Ajaxアプリケーションの保守容易性計測のためのソフトウェアメトリクス
- UMLモデルからの変換によるWebアプリケーションの形式検証
- 組込みソフトウェアの動的振舞いによるシステム性能の評価手法
- UMLモデルからの変換による Web アプリケーションの形式検証
- グラフ後方依存への重み付けによるマルチコアタスク配置手法(GPUとマルチコア,組込み技術とネットワークに関するワークショップETNET2012)
- グラフ後方依存への重み付けによるマルチコアタスク配置手法(GPUとマルチコア,組込み技術とネットワークに関するワークショップETNET2012)
- ITSを指向した問題解決モデルMIPS