動的職責分離を記述できるアクセス制御モデルの形式的検証手法(一般:情報通信基礎サブソサイエティ合同研究会)
スポンサーリンク
概要
- 論文の詳細を見る
近年,企業の不祥事により内部統制の強化が求められるようになった.内部統制の要求事項の一部に内部の人間の下正を抑止するための職責の分離がある.人的リソースの観点から,動的な職責分離を整備する方が,組織にとって人的リソースの有効活用や人件費の削減など,メリットがある場合がある.しかしながら,動的職責分離では,サブジェクトとオブジェクトのすべての状態の組み合わせにおいての不適切なアクセス認可が行われないかを確認しなければ職責の分離が達成できているとは言えない説明責任の観点からも動的職責分離の検証が必要である.人手による検証は非効率的であり,十分でない.本研究では,形式的手法を用い,動的職責分離を記述可能とするアクセス制御モデルの検証手法を提案する.
- 2010-02-25
著者
関連論文
- ディペンダブルシステム構築におけるインフラストラクチャ(ネットワーク運用・管理・制御,省エネルギーと超高速インターネット,一般)
- 規制準拠のためのログ管理設計法の検討(一般,インターネット、アプリケーション及び一般)
- Java EE環境におけるビジネスプロセスに基づいたアクセス制御方法
- ネットワーク統合サービスと連携可能なシングルサインオン方式の検討(オフィスアプリケーション,ネットワーキング,マネジメント,一般)
- ネットワーク統合サービスと連携可能なシングルサインオン方式の検討
- NGNに適したディペンダブル・オンデマンド・インフラストラクチャ(一般,研究開発テストベッド構築・利用,一般)
- スケーラブルなWebサーバ・ソフトウェア構成法の研究
- ネットワーク統合サービスと連携可能なシングルサインオン方式の検討(オフィスアプリケーション,ネットワーキング,マネジメント,一般)
- ネットワーク統合サービスと連携可能なシングルサインオン方式の検討(オフィスアプリケーション,ネットワーキング,マネジメント,一般)
- インターネット空間で構築される個人の信頼の流通
- 機能ロールに基づいた動的職責分離の形式的検証手法
- 動的職責分離を記述できるアクセス制御モデルの形式的検証手法(一般:情報通信基礎サブソサイエティ合同研究会)
- 動的職責分離を記述できるアクセス制御モデルの形式的検証手法(一般:情報通信基礎サブソサイエティ合同研究会)
- 動的職責分離を記述できるアクセス制御モデルの形式的検証手法(一般:情報通信基礎サブソサイエティ合同研究会)
- NGNに適したセキュアなワークフロープラットフォーム(一般,インターネット、アプリケーション及び一般)
- ファイル共有システムにおける所有の証明を用いたアクセス制御(一般,インターネット、アプリケーション及び一般)
- 企業インフラストラクチャにおける障害対策の研究
- 組織間のID連携による最小特権実現のためのアクセス管理方式
- Java EE環境におけるビジネスプロセスに基づいたアクセス制御方法
- ビジネス・プロセスベースの強制アクセス制御による権限管理方法とその実装方法 : SELinuxの偽装機能を用いて実装可能(情報の保護,Web 2.0時代の企業活動を支える技術及び一般)
- ビジネス・プロセスベースの強制アクセス制御による権限管理方法とその実装方法 : SELinuxの偽装機能を用いて実装可能(情報の保護,Web2.0時代の企業活動を支える技術及び一般)
- 分散型オンデマンド仮想システム構築法の提案(一般,省エネルギーと超高速ネットワーク,一般)
- 金融機関におけるコンプライアンス管理の運用監視方法