不確定な情報"covert channel"の直観主義論理による解釈と分析
スポンサーリンク
概要
- 論文の詳細を見る
意味創発を支援し,かつ個人情報漏えい,改ざん,著作権侵害等を防止するセキュリティモデルの論理系としての必要条件は直観主義論理である事を示す.直観主義論理は,不確定さを"可能性"として捉え,ある知識状態に対する相対的な論理的帰結によって真値を検証する.直観主義論理は,演繹推論ベースの意味論として「アクセス行為の可能性に依存するcovert channelの不確定性」,及び「ルールベースと現実世界との差異による不確定性」を表現しなければならない場合に,必要条件として採用可能である.直観主義論理によるセキュリティモブルは,インターネット社会に於ける意味生成支援システムに於いて,制約条件として作用する.即ち,セキュリティモデルの属性"プライバシー,所有,競合,役割"は,人間と言う主体の認識行為と意味生成行為を現象学的に捉える時,社会システムのアクセス制御装置が備えるべき属性として必要条件となる.
- 社団法人電子情報通信学会の論文
- 2007-07-12
著者
-
辻井 重男
中央大学研究開発機構
-
木下 宏揚
神奈川大学工学部・ハイテクリサーチセンター
-
森住 哲也
東洋ネットワークシステムズ株式会社
-
辻井 重男
情報セキュリティ大学院大学
-
森住 哲也
東洋通信機(株) トヨコムネットワークシステムズ事業本部 ソフトウェアサービス事業部
-
木下 宏揚
神奈川大
-
辻井 重男
中央大 研究開発機構
-
辻井 重男
中央大学理工学部
-
木下 宏揚
神奈川大学工学部
-
木下 宏揚
神奈川大学
関連論文
- 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報 : 電子行政・医療介護ネットワークにおける個人情報の保護と利用の両立を目指して(セキュリティ,一般)