群知能を適用した アクセス制御システム 木下研究室 久保直也                                                     

Slides:



Advertisements
Similar presentations
果物識別 補足資料 1. やりたい事  入力された画像内に映っている果物が何かを自動判 別するプログラムを組むこと 識別器 りんご です.
Advertisements

Absolute Orientation. Absolute Orientation の問題 二つの座標系の間における剛体 (rigid body) 変換を復元す る問題である。 例えば: 2 台のステレオカメラから得られた3次元情報の間の関 係を推定する問題。 2 台のステレオカメラから得られた3次元情報の間の関.
地図の重ね合わせに伴う 位相関係の矛盾訂正手法 萬上 裕 † 阿部光敏* 高倉弘喜 † 上林彌彦 ‡ 京都大学工学研究科 † 京都大学工学部 * 京都大学情報学研究科 ‡
Determining Optical Flow. はじめに オプティカルフローとは画像内の明る さのパターンの動きの見かけの速さの 分布 オプティカルフローは物体の動きの よって変化するため、オプティカルフ ローより速度に関する情報を得ること ができる.
動的計画法を用いたアラインメント  小菅孝史.
白井ゼミ 豊田秀樹(2008)『データマイニング入門』 (東京図書)。4章
到着時刻と燃料消費量を同時に最適化する船速・航路計画
初級ミクロ経済学 -消費者行動理論- 2014年9月29日 古川徹也 2014年9月29日 初級ミクロ経済学.
点対応の外れ値除去の最適化によるカメラの動的校正手法の精度向上
視線に基づくサブゴールを用いた 歩行者の行動モデル
Cl-GBI法によるふるまいの グラフの類似に基づく 群れのモデルの提案
多様性を実現する群知能の振舞いのモデル 木下研究室 内山 竜佑.
プライバシ協調フィルタリングにおける 利用者評価行列の次元削減
エージェントモデル シミュレーション.
剛体の物理シミュレーション は難しい? 佐藤研助手 長谷川晶一.
SoftLayerへのお引越し方法 お客様環境(或いは他社クラウド)からSoftLayerへの移行は簡単です。
神奈川大学大学院工学研究科 電気電子情報工学専攻
「データ学習アルゴリズム」 第3章 複雑な学習モデル 3.1 関数近似モデル ….. … 3層パーセプトロン
リンク構造を考慮したベクトル空間法によるWebグラフ分割手法に関する研究
先端論文紹介ゼミ Role-based Context-specific Multiagent Q-learning
EMアルゴリズム クラスタリングへの応用と最近の発展
Boid 鳥はどのように飛んでいるか ~鳥の群れのシミュレーション~ 総合政策学部2年 小林 慶太               宇佐美 絢子.
3次元剛体運動の理論と シミュレーション技法
集団的意思決定支援法の実験環境に関する研究
シミュレーション演習 G. 総合演習 (Mathematica演習) システム創成情報工学科
© Yukiko Abe 2014 All rights reserved
早わかりアントコロニー最適化 (ACO: Ant Colony Optimization)
小標本検査データを元にした 疲労破損率のベイズ推定
検索エンジンを利用した Covert Channelの検出
MPIによる行列積計算 情報論理工学研究室 渡邉伊織 情報論理工学研究室 渡邉伊織です。
第6章 カーネル法 修士2年 藤井 敬士.
情報学研究科 通信情報システム専攻 小野寺研究室 M1 奥村 佳弘
ソースコードの変更履歴における メトリクス値の変化を用いた ソフトウェアの特性分析
ベイジアンネット混合モデルによる 強化学習エージェントの方策改善
Bottom-UpとTop-Down アプローチの統合による 単眼画像からの人体3次元姿勢推定
第25章 単一始点最短路 3節 Bellman-Fordのアルゴリズム
決定木とランダムフォレスト 和田 俊和.
ネットワーク理論 Text. Part 3 pp 最短路問題 pp 最大流問題 pp.85-94
第14章 モデルの結合 修士2年 山川佳洋.
カオス水車のシミュレーションと その現象解析
早わかりアントコロニー最適化 (Ant Colony Optimization)
予測に用いる数学 2004/05/07 ide.
主成分分析 Principal Component Analysis PCA
相互調整によるエージェントのクラスタ化: コンピュータシミュレーションによる検討
分子生物情報学(2) 配列のマルチプルアライメント法
決定木 Decision Tree DT 明治大学 理工学部 応用化学科 データ化学工学研究室 金子 弘昌.
2009年12月4日 ○ 前田康成(北見工業大学) 吉田秀樹(北見工業大学) 鈴木正清(北見工業大学) 松嶋敏泰(早稲田大学)
類似度を用いた WWW のリンク構造の解析 谷 研究室    栗原 伸行.
Data Clustering: A Review
様々な情報源(4章).
部分的最小二乗回帰 Partial Least Squares Regression PLS
背景 課題 目的 手法 作業 期待 成果 有限体積法による汎用CFDにおける 流体構造連成解析ソルバーの計算効率の検証
適応的近傍を持つ シミュレーテッドアニーリングの性能
実空間における関連本アウェアネス 支援システム
ウィルスって どの位感染しているのかな? 菊池研究室  小堀智弘.
コーディングパターンの あいまい検索の提案と実装
わかりやすいパターン認識 第7章:部分空間法  7.1 部分空間法の基本  7.2 CLAFIC法                  6月13日(金)                  大城 亜里沙.
情報経済システム論:第13回 担当教員 黒田敏史 2019/5/7 情報経済システム論.
自己組織化マップ Self-Organizing Map SOM
ISO23950による分散検索の課題と その解決案に関する検討
第9章 学習アルゴリズムとベイズ決定側 〔3〕最小2乗法とベイズ決定側 発表:2003年7月4日 時田 陽一
プログラムスライスを用いた凝集度メトリクスに基づく 類似メソッド集約候補の順位付け手法
パターン認識 ークラスタリングとEMアルゴリズムー 担当:和田 俊和 部屋 A513
保守請負時を対象とした 労力見積のためのメトリクスの提案
Advanced Data Structure 第3回
試行錯誤を重視した数学教育    群馬県立 吉井高等学校           大 塚 道 明.
実験計画法 Design of Experiments (DoE)
「データ学習アルゴリズム」 第3章 複雑な学習モデル 報告者 佐々木 稔 2003年8月1日 3.2 競合学習
ベイジアンネットワークと クラスタリング手法を用いたWeb障害検知システムの開発
逆運動学(Inverse Kinematics) 2007.5.15
Presentation transcript:

群知能を適用した アクセス制御システム 木下研究室 久保直也                                                     

情報リソースの“関係”連携・競合する“関係” 背景 クラウド The Cloud The Search site The Data Center 情報リソースの“関係”連携・競合する“関係” 情報セキュリティ 従来研究 Certification Authentication Authorization Access control Encryption

背景 情報セキュリティが,人々の情報を護る半面, それがかえって人々の創発活動を硬直化させてしまうといった面がある.

ビジョン 連携・競合する情報リソースの “振舞い”に着目 “振舞い” ↓ 群知能を適用 The Cloud 個人で複数のコミュニティに所属しているSNS を想定する. SNSで共同作業でなにかを作りだしたい. 連携・競合する情報リソースの “振舞い”に着目 The Cloud Function Agent 群知能シミュレータ・サービス 図は今回想定する,群知能を搭載したマルチエージェントシステムである. アライメント “振舞い” ↓ 群知能を適用

目的 群知能を用いて,行為が類似しているもの同士で群れを作る. 群れの情報漏洩を,必要最小限な情報漏洩を認めつつ,必要以上の情報漏洩は起きないようにする. 群れの中で創発活動の手助けを行う. 群知能という言葉を使って使うということを最初に言ってしまう 情報漏洩を一定に保つ→説明 群れを

Covert Channel S1 S2 O1 φ R O2 W ・Covert channelは意図しない情報流出経路のこと. ・始点から終点への流れで、情報流出が発生してしまう。 S1 S2 O1 φ R O2 W アクセス行列内のCapabilityの連鎖をPath channelと呼ぶ.Path channelは自己と他者の行為の連鎖を表す

Path channel ・アクセス行列上に表現される行為の連鎖をPath channelとする. O3 O4 O5 O6 RW R Φ O2 O1 s1 s2 s6 s7 s8 s9 s10 W O7 O8 s3 s4 s5 O11 O12 O13 O14 O10 O9 O15 クセス行列上に表現される行為の連鎖であるPath channelを,群知能のParticleとする. ・自己の含まれているPath channelを観ることができることが前提である. ・アクセス行列上に表現される行為の連鎖をPath channelとする. Path Channel Pi{S1,S8,O1,O8} Path Channel Pj{S3,S10,O2,O12} Path Channel Pk{S6,S9,s10,O5,O12,O13}

群知能 Alignment Cohesion Separation ・個々のエージェントに簡単な行動ルールを与える ・近傍のエージェント同士の局所的な相互作用 ・全体として群れ行動が創発される. ・Boidモデルはマルチエージェントモデルの一つ. ・群れの構成員であるParticleを,Path channelと呼ぶ. ・群知能を使うことで,行為の似たPath channelの群れを作り,創発活動の手助けを行う. Cohesion 群れの重心に向かう Separation 近傍のエージェントから離れる Alignment 近傍のエージェントの平均速度に速度(向き)を合わせる 3つの行動ルール

群知能の群れ全体の振舞いのイメージ PathC(j) PathC(i)

群れが振舞うイメージ 行為が似ていて, 群れを観察して 情報漏洩が必要最小限な アクセス制御を行う. Path channelは群れとなる. 情報漏洩を防ぐために,アクセス制御を行う. 創発活動の手助けを行う. 行為が似ておらず, 情報漏洩が必要以上に起きる Path channelは群れから離れる. で座標はParticleがたまたま位置し,そこで群れを成す場所であり,座標の値に意味は無い

一つ一つのPath channelの動き

群知能の振舞い Inspection 1つ1つのParticleは,自らを中心とし,各Particleの定めた任意のneighbor(i),group(i)内に存在するParticleの要素を得る. path channel object -1のneighbor path channel object -1のgroup alignment object path channel object -1 で座標はParticleがたまたま位置し,そこで群れを成す場所であり,座標の値に意味は無い

Tanimoto係数 類似は,全体的評価ではなく,Particle間の相対的評価が重要である. 群れる力をPath channelの類似によって表す. Path channelの類似度を求めることが行為の類似を求めることである. PathC(i)とPathC(j)のTanimoto係数をTij PathM(i)とPathM(j)の要素の数をそれぞれ|pathM(i)|,|pathM(j)| PathM(i)とPathM(j)の要素の一致した数をそれぞれ|pathM(i)|∩|pathM(j)| Tanimoto係数は0.0~1.0の間の値をとり,1.0に近いほど要素が類似しているといえる.アクセスの軌跡,行動が近いPath channel程,Tanimoto係数の値が大きくなり,行為が類似していると言える.

Covert channel容量,Pheromone PathC(i)からPathC(j)への全てのCovert channel数をηij Covert channel容量:斥力に影響 PathC(i)からPathC(j)へのCovert channel容量を ある状態の情報量で表す. ある状態における PathC(i)を始点としPathC(j)を終点とするcovert channelの 生起確率 ηij /Nij フェロモン:引力に影響   PathC(i)の重要性をフェロモンで定義する. 想定質問:情報が漏れていくPath が一個でも2個でも変わるとは思えない 除法漏洩の経路が多ければ多いほど情報漏洩が起きる確率が多くなるのでこうしました Pheromoneの揮発率をfe 一回のアクセスで与えるPhromoneの量をp アクセス回数をN

群知能の振舞い Boid 各Particleを中心とし,neighbor(i)とgroup(i)半径の中のParticleとの間の群れる力を計算する. 群れる力にはAlignment,Cohesion,Separationがある. ・Alignment:neighborのParticleと群れる力. ・Cohesion:groupのParticleと群れる力. ・Separation:群れる負の力. 3つの力を, ・Tanimoto係数:Path channelの類似度. ・Covert channel容量:Covert channel数とアクセス行列の経路数. ・Pheromone:アクセスの回数,頻度. から求める.

PathC(i) のPathC(j)に対する群れる引力 PathC(i)の,任意のjに対するTijのしきい値をTit PathC(i)のPathC(j)に群れる力をfaij C1(i), C2(i)を係数 は単位ベクトルとする. PathC(i) PathC(j) ・行為の類似した Path channelには 群れる引力が働く.

PathC(i) のPathC(j)に対する斥力 PathC(i) のPathC(j)に対する斥力  spij C3(i)を係数 ユニット関数 PathC(i)のCijに対するしきい値をCit は単位ベクトルとする. PathC(i) PathC(j) ・情報漏洩が必要以上に起きる Path channelには群れる斥力が働く.

PathC(i) の群れる引力 PathC(i)のneighbor(i)内のfa(i)kベクトルの数をnとし,neighbor(i)内の全てのベクトルの総和をAl(i)する Alignment Al (i): PathC(i)のgroup(i)内のfa(i)kベクトルの数をgとし,group(i)内のすべてのベクトルの総和をCoh(i) 係数g1:groupの引力. Cohesion Coh (i) :

PathC(i) の群れる斥力 PathC(i)のneighbor(i)内のsp(i)k ベクトルの数をnとし, neighbor(i)内の斥力ベクトルの総和をSa(i)とする. Separation (de-alignment) Sa (i) : PathC(i)のgroup(i)内のsp(i)k ベクトルの数をgとし, group(i)内の斥力ベクトルの総和をSg(i)とする. 係数g2: groupの斥力. Separation (de-cohesion) Sg (i) :

PathC(i) の群れる力 Neighbor,groupの引力,斥力全てを足し合わせたもの PathC(i)の群れる力をF(i) 各Particleの速度ベクトル V (i) :

群れ全体を制御する パラメータ

群知能の群れ全体の振舞い PathC(j) ・情報漏洩が必要最低限で群れることができるパラメータを導出する PathC(i)

群れが振舞うイメージ 行為が似ていて, 情報漏洩が必要最小限な Path channelは群れとなる. 行為が似ておらず, 情報漏洩が必要以上に起きる Path channelは群れから離れる. で座標はParticleがたまたま位置し,そこで群れを成す場所であり,座標の値に意味は無い

効用とまとめ 行為が類似したもの同士で群れを作ることを可能にした.  -群れる力にPath channelのTanimoto係数,Pheromoneを定義した. 全てのCovert channelを切断するのではなく,必要最小限な情報漏洩を認めつつ,必要以上の情報漏洩は起きないようにするシステムを提示した.  -群れのなかのCovert channel容量を定義した. 行為が類似していない,Covert channelの発生確率の高い,といったPath channelは群れから離れるシステムを提示した.  -Tanimoto係数,Covert channel容量にしきい値を与えた. 上により情報漏洩を一定量に維持し,行為の類似したもの同士で群れをつくり,,情報漏洩を一定に保ちながら,創発活動の手助けを行う新たなシステムを示した

課題 Masonマルチエージェントシミュレーターに実装を行う. シミュレーションを行うことで,必要最小限な情報漏洩を認めつつ,行為の類似したもの同士で群れを作る,パラメータを求める.  c1(i), c2(i), c3(i), g1(i), g2(i), T(i)t, C(i)t, neighbor(i), group(i) これをベースに適切な情報フィルターを適用する手法を構築する.

APPENDIX 26

質疑応答 どういったシステムに適用することを想定しているか. なにをもって類似と判断するのか? SNSのようなシステムに適用することを想定している.完璧に制御しなくてはならない場面ではまた別の情報セキュリティを用いる. なにをもって類似と判断するのか? Tanimoto係数を用いることで類似と判断する. 距離から類似していると判断している.