直観主義論理に基づく統合セキュリティモデルのアクセス規則について : 競合属性と階層属性を組み合わせた場合(Web2.0とネットワーク法,一般)
スポンサーリンク
概要
- 論文の詳細を見る
社会システムのアクセス制御属性は,社会システムを制御するための必要条件である.従って"アクセス制御対象と言う事実とそれを記述する意味論が一致する時が真理である"と言う設計コンセプトは却下される.その代わりに事実には様々な見方がある可能性を認め,それに対応した記述を目指す事をセキュリティモデルの設計コンセプトとする.直観主義論理は事実の可能性を記述する必要条件である.直観主義論理によって次に示す記述が可能となる.(1)"アクセス制御属性"及びアクセス規則の追加・改訂の可能性を記述する事.(2)知識全てを知らずとも可能性の中から証明を記述する事.(3)アクセス行為の過程としてcovert channelのプロセスを記述する事.競合属性と階層属性のアクセス規則が組み合わされる場合について,直観主義論理によるアクセス規則が"アクセス制御属性"の追加・改訂の可能性を記述する事を示す.
- 社団法人電子情報通信学会の論文
- 2008-10-10
著者
-
辻井 重男
中央大学研究開発機構
-
森住 哲也
ネッツエスアイ東洋株式会社
-
木下 宏揚
神奈川大学工学部・ハイテクリサーチセンター
-
辻井 重男
情報セキュリティ大学院大学
-
森住 哲也
東洋通信機(株) トヨコムネットワークシステムズ事業本部 ソフトウェアサービス事業部
-
木下 宏揚
神奈川大
-
辻井 重男
中央大 研究開発機構
-
辻井 重男
中央大学理工学部
-
木下 宏揚
神奈川大学工学部
-
木下 宏揚
神奈川大学工学研究科
-
木下 宏揚
神奈川大学
関連論文
- 7.電子行政・総合科学・現代社会と教養・人材育成 : 情報セキュリティ視点からの起承転結(情報処理技術の未来地図,50周年記念特集号)
- 記念講演 サービス科学的視点からの電子行政--国民から見た2つの矛盾する不安の解消へ向けて (通信方式)
- 制服を着た部外者を検知できるオフィス・セキュリティ・システムの提案 : ずる賢い悪人から事業所を守るために
- 双擾乱松本今井署名の提案 : 新しい修飾方式2案(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 多変数公開鍵暗号STSによる署名方式の提案 : 相補的STS署名方式(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 電子投票・アンケート諸方式に対する比較考察
- 不確定な情報"covert channel"の直観主義論理による解釈と分析
- 統合型多変数公開鍵暗号PPS方式の提案 : PMI方式及び2層式持駒方式によって強化されたSTS方式(セキュリティ関係,一般)
- キュー制御を用いた通信品質保証の最大遅延時間抑制評価(QoS,モバイルネットワーク,高速パケット伝送信号処理・伝送技術,無線通信一般)
- プライバシを考慮した投票プロトコルの一方式 : その(3)、実験結果
- 2000-CSEC-10-20 DNA情報を組込んだ公開鍵暗号方式
- ISEC2000-42 DNA情報を組込んだ公開鍵暗号方式
- プライバシを考慮した投票プロトコルの一方式
- 直観主義論理に基づく統合セキュリティモデルのアクセス規則について : 競合属性と階層属性を組み合わせた場合(Web2.0とネットワーク法,一般)
- 多元社会の意味ネットにおける存在論と認識論の役割 : 社会システムのためのアクセス制御agentの視点から
- 重み付き投票の電子化とその安全性に関する考察(電子投票・入札)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- 1人複数投票可能な電子投票に関する一考察 : 株主総会における議決権行使プロトコルの実現
- 電子行政・総合科学・現代社会と教養・人材育成 : 情報セキュリティ視点からの起承転結
- 超楕円曲線上のHarley加算アルゴリズムにおけるresusltant計算について
- Superelliptic curveとC_ curveを用いた暗号系のGHS Weil Descent攻撃に対する安全性
- 先行制御によるハード向き剰余乗算法
- 有色性駆動源に対応可能なカルマンフィルタを用いた劣化画像復元手法
- 有色性駆動源を持つカルマンフィルタを用いた高速な雑音抑圧法
- CS2010-19 サービス科学的視点からの電子行政 : 国民から見た2つの矛盾する不安の解消へ向けて(次世代ネットワーク,電力線通信,無線通信方式,一般)
- 多変数公開鍵暗号のInternal Perturbation改良の検討 : PMIを例として
- 双擾乱松本今井署名の提案 : 新しい修飾方式2案(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 多変数公開鍵暗号STSによる署名方式の提案 : 相補的STS署名方式(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 有色性駆動雑音を考慮したカルマンフィルタを用いた雑音抑圧法(音響信号及び音声処理、エンハンスメント/一般)
- 多変数公開鍵暗号による検証方程式を付加したデジタル署名方式の提案(セキュリティ関係,一般)
- 多変数公開鍵暗号による検証方程式を付加したデジタル署名方式の提案(セキュリティ関係,一般)
- 多変数公開鍵暗号による検証方程式を付加したデジタル署名方式の提案(セキュリティ関係,一般)
- 多変数公開鍵暗号に対するランク攻撃の拡張
- Superelliptic curveとC_ curveを用いた暗号系のGHS Weil Descent攻撃に対する安全性
- Superelliptic curveとC_ curveを用いた暗号系のGHS Weil Descent攻撃に対する安全性
- DNAインキの信頼性・機密性・完全性の高度化
- DNAインキの信頼性・機密性・完全性の高度化
- SNPを利用したDNA個人IDによる本人認証方式の提案
- DNA個人IDによる本人認証システムのFRR及びFARについて
- SNPを利用したDNA個人IDによる本人認証方式の提案
- DNA個人IDによる本人認証システムのFRR及びFARについて
- DNAバイオメトリックス本人認証方式における本人拒否率の考察
- 統合型多変数公開鍵暗号PPS方式の提案 : PMI方式及び2層式持駒方式によって強化されたSTS方式(セキュリティ関係,一般)
- 統合型多変数公開鍵暗号PPS方式の提案 : PMI方式及び2層式持駒方式によって強化されたSTS方式(セキュリティ関係,一般)
- 確率的最速な保証値付きBCGM-ORアルゴリズム
- 動作の安定性を保証した学習同定法について
- A-113 安定かつ高速な学習同定法(A-4. ディジタル信号処理,一般講演)
- ぼけと雑音を含む劣化画像の復元アルゴリズム(画像符号化,通信・ストリーム技術,一般)
- ぼけと雑音を含む劣化画像の復元アルゴリズム(画像符号化,通信・ストリーム技術,及び一般)
- ぼけと雑音を含む劣化画像の復元アルゴリズム(画像符号化,通信・ストリーム技術,及び一般)
- ぼけと雑音を含む劣化画像の復元アルゴリズム(画像符号化,通信・ストリーム技術,及び一般)
- カルマンフィルタに基づいた高速な雑音抑圧法
- バイオメトリックス暗号鍵を用いた本人認証方式の提案
- DNAバイオメトリックス本人認証方式の提案(電子社会に向けたコンピュータセキュリティ技術)
- DNAバイオメトリックス本人認証システム
- DNAバイオメトリックス本人認証システム
- DNA-IDを用いたDNA個人情報管理システムの提案(21世紀のコンピュータセキュリティ技術)
- 多元社会の意味ネットにおける存在論と認識論の役割 : 社会システムのためのアクセス制御agentの視点から
- 多元社会の意味ネットにおける存在論と認識論の役割 : 社会システムのためのアクセス制御agentの視点から
- 不確定な情報"covert channel"の直観主義論理による解釈と分析
- DNA-IDの統計的検証 : 実証実験によるSTRローカスの相関性の検証
- DNA-IDの統計的検証 : 実証実験によるSTRローカスの相関性の検証
- 個人識別用DNA情報に関する実証実験報告 (その2) : DNA-IDの生成と統計的検証
- 新しいホームセキュリティシステムの提案 : ユーザの利便性とセキュリティを向上させるために
- 次世代ビルディングセキュリティシステムの提案
- 次世代ビルディングセキュリティシステムの提案
- 電子社会の構築と情報セキュリティ
- 特集にあたって (暗号は社会を変える)
- 暗号技術の動向と課題 : 情報処理技術 : 過去十年そして今後の十年
- 1.総論-文明構造の変革と情報セキュリティ( : セキュリティと暗号化)
- 情報自由化時代の課題
- GA-1 プロローグ 情報文明時代の自由と規律 : 暗号学の視点から(GA. 情報通信倫理フォーラム,グループ企画)
- 所望シンボル推定を用いたアフィン射影型ブラインドマルチユーザ検出器(無線通信技術)
- 情報セキュリティ総合科学序論 : 矛盾の超克という視点から(ソーシャル・ネットワーク)
- RI-008 カルマンフィルタを用いた劣化画像の復元手法(グラフィクス・画像,査読付き論文)
- 所望シンボル推定を用いたアフィン射影型ブラインドマルチユーザ検出器(MIMO,CDMA,移動衛星通信,無線通信一般)
- 擬似乱数列の衝突に関する一考察
- ランク攻撃の厳密解析I(応用)
- 不確定な情報"covert channel"の直観主義論理による解釈と分析
- 5-2-3 中央大学「電子社会の信頼性向上と情報セキュリティ」(5-2 情報・電気・電子分野の21世紀COE,3プロジェクトの拠点リーダーより)(5.大学での研究プロジェクト : 21世紀COEプログラム)(グローバル化時代の教育と研究)
- 多変数公開鍵暗号による検査方程式を付加したデジタル署名方式の提案
- 相補型MPKC役割交代型署名の提案(情報通信基礎サブソサイエティ合同研究会)
- 相補型MPKC役割交代型署名の提案(情報通信基礎サブソサイエティ合同研究会)
- 相補型MPKC役割交代型署名の提案(情報通信基礎サブソサイエティ合同研究会)
- 医療・介護ネットワークにおける個人情報の保護と活用の両立に関する考察(ネットワーク倫理,インターネットと情報倫理教育,一般)
- 医療・介護ネットワークにおける個人情報の保護と活用の両立に関する考察(ネットワーク倫理,インターネットと情報倫理教育,一般)
- 電子行政における個人情報の保護と利用の両立を図る情報連携システムに関する研究-第1報
- グレブナー基底計算の最適化に関する一考察 : 暗号解析のためのグレブナー基底計算(セキュリティ関係,一般)
- グレブナー基底計算の最適化に関する一考察 : 暗号解析のためのグレブナー基底計算(セキュリティ関係,一般)
- グレブナー基底計算の最適化に関する一考察 : 暗号解析のためのグレブナー基底計算(セキュリティ関係,一般)
- グレブナー基底計算の最適化に関する一考察 : 暗号解析のためのグレブナー基底計算(セキュリティ関係,一般)
- 電子行政における個人情報の保護と利用の両立を図る情報連携システムに関する研究 : 第1報(情報教育,一般)
- 多変数公開鍵暗号による署名方式Hidden Pair of Bijection第二報 : セキュリティの検討(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 多変数公開鍵暗号による署名方式Hidden Pair of Bijection第二報 : セキュリティの検討(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 素因数分解の困難性に依拠したTSK型多変数公開鍵暗号の構成法(一般:情報通信基礎サブソサイエティとの合同研究会)
- 素因数分解の困難性に依拠したTSK型多変数公開鍵暗号の構成法(一般:情報通信基礎サブソサイエティとの合同研究会)
- 素因数分解の困難性に依拠したTSK型多変数公開鍵暗号の構成法(一般:情報通信基礎サブソサイエティとの合同研究会)
- 電子行政における個人情報の保護と利用の両立を図る情報連携システムに関する研究-第1報
- 多変数公開鍵暗号による署名方式 Hidden Pair of Bijection 第二報 : セキュリティの検討
- Paillier暗号とRSA暗号の連携による暗号化状態処理の一方式-第2報 : 電子行政・医療介護ネットワークにおける個人情報の保護と利用の両立を目指して(セキュリティ,一般)
- Paillier暗号とRSA暗号の連携による暗号化状態処理の一方式-第2報 : 電子行政・医療介護ネットワークにおける個人情報の保護と利用の両立を目指して(セキュリティ,一般)