プログラミング言語理論にもとづく広義情報処理システムセキュリティ
| Project/Area Number |
22K19766
|
|---|
| Research Category |
Grant-in-Aid for Challenging Research (Exploratory)
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
住井 英二郎 東北大学, 情報科学研究科, 教授 (00333550)
|
|---|
| Project Period (FY) |
2022-06-30 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2022)
|
| Budget Amount *help |
¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Fiscal Year 2024: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000)
Fiscal Year 2023: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2022: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
|
|---|
| Keywords | プログラミング言語理論／プログラム理論 / 形式手法（フォーマルメソッド），計算モデル / セキュリティ型つきλ計算 / 非機密化，動的レベル生成 / 環境双模倣 |
|---|
| Outline of Research at the Start |
広義の「計算」（情報処理）を記述する体系としての「プログラミング言語」理論（特に本研究代表者らが研究・構想中の、非機密化や動的レベル生成を含むセキュリティ型つきλ計算の環境双模倣）を、狭義の計算機プログラムだけでなく人間社会のシステム（特に計算機に限らない情報セキュリティ）に関する記述・推論(reasoning)・検証にも適用することを試み、それらの理論と応用を相互に発展させる。
|
| Outline of Annual Research Achievements |
以下を含む研究を研究協力者らとともに、他の研究とも連携して行なった。
・複数参加者セッション型の一般プロセス型への変換：複数の参加者（プロセス）が通信を行う並行プロセス計算(concurrent process calculus)において、通信のプロトコル（順序等の手順）を表すセッション型(session type)から、プロセスの入出力の振る舞いを表すIgarashi-Kobayashiの一般型システム(generic type system, GTS)への変換を定義し、両者の関係を明らかにした。
・組み込み機器用スクリプト言語環境におけるロボットの関数型リアクティブプログラミング：命令的と考えられがちなロボットプログラミングを、関数的な枠組みであるFRP (functional reactive programming)を用いて、専用の関数型プログラミング言語ではなく、通常の組み込み機器用スクリプト言語環境においてモデル化・実装する方式を研究した。具体的にはLEGO Education SPIKE PrimeのMicroPython環境を用いたが、本研究の手法は特定の環境に限られるものではない。
これらは広義の「計算」（情報処理）を記述する体系としての「プログラミング言語」理論を、狭義の計算機プログラムだけでなく幅広いシステムに関する記述・推論(reasoning)・検証にも適用することを試み、それらの理論と応用を相互に発展させるという本研究の目的に沿う結果である。
|
| Current Status of Research Progress |
Current Status of Research Progress
4: Progress in research has been delayed.
Reason
大学・部局の事務職員・技術職員の不足により、教員が多くの事務・施設管理等業務や業者への対応等を行わなければならず、極めて長時間の努力をもってしても研究時間がほとんど確保できなかった。
|
| Strategy for Future Research Activity |
大学・部局の事務職員・技術職員の不足は一研究者で直ちに対応はしがたいが、引き続き研究時間の確保に最大限努力しつつ、遅れてはいるが当初の計画に沿って研究を遂行する。
|
Report
(1 results)
Research Products
(3 results)
