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