2019 Fiscal Year Research-status Report
Logic System enabling Inference and Assessment of Security and Trust in Sparse Distributed Network
| Project/Area Number |
19K11958
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
佐藤 周行 東京大学, 情報基盤センター, 准教授 (20225999)
|
|---|
| Project Period (FY) |
2019-04-01 – 2022-03-31
|
| Keywords | Internet trust / policy decision point / assertion exchange / elastic trust model / BLE network / blockchain |
|---|
| Outline of Annual Research Achievements |
本研究の目的は、スパースな分散ネットワークでのセキュリティとトラストを推論・計算することであり、実施計画としてA. 推論・計算のための論理の構築と、B.IoTネットワークにおいての実装をあげていた。２０１９年度は、以下について成果をあげた。
A.アサーションを交換することでトラストが変化するリフレクションを表現する論理の構築の完成： リフレクションを含み、IoTノードのjoin, leaveによってトラストが変化するKripke modelの記述を行い、論文Elastic Trust Model for Dynamically Evolving Trust Frameworksにまとめた。この論文では、セキュリティアサーションの受け入れによりトラストが伸縮すること、さらにIoTノードのjoin/leaveを表現するメタな体系が必要であることを明らかにした。この理論によって、アサーションの交換によりトラストを成長させていくブロックチェインの拡張を説明するトラストモデルの構築の基礎ができたと評価している。加えて、ベースとなる論理のBelnap論理による拡張を行った
B.IoTノードのネットワークの構築： ブロックチェインをはじめとするスパースな分散ネットワークを対象とする、実際のアプリケーションを構築し、A.の適用により新たな性質の解析につながるものを作った。具体的にはブロックチェインベースのアクセス制御体系の構築を行った。IoTネットワークについては、通信プロトコルの多様性も視野に入れなければならないが、RaspberryPiをノードとするIoTネットワークにおいて、BLEを対象にしたネットワークの具体的な構築（https://github.com/oli415/IoT-project）を行った。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本研究の核になる伸縮可能なトラストモデルの構築によい結果を得た。ここでは、セキュリティアサーションの受け入れによるトラストの拡張を可能にするトラストモデルに加えて、ネット内でのノードの動的な参加を表現することが必要であることが明らかになった点で、成果である。このモデルが適用可能な応用システムの提示としても、次年度に発表予定できる結果を得た。ここでは、ブロックチェインをベースにしたシステムとBLEを使ったIoTネットワークの構築ができた。
|
| Strategy for Future Research Activity |
２０２０年度以降は、A.理論構築に関しては、構築された応用システムを対象にした、新しい問題の発見と、それを解決するためのトラストモデルの拡張を行う。従来の、理論的に解明されていなかったトラストモデルを構築した理論で解析することを端緒とする予定である。さらに、B.に関しては、拡張されたトラストモデルをベースにした新しい応用システムの構築を行う。
|
| Remarks |
BLEネットワークのPoC
|
