| 研究課題/領域番号 |
22K17873
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
和賀 正樹 京都大学, 情報学研究科, 助教 (00899007)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2025-03-31
|
| キーワード | 準同型暗号 / 秘匿モニタリング / 時間オートマトン / 記号的オートマトン / ブラックボックス検査 |
|---|
| 研究実績の概要 |
本年度は昨年度に引き続き、監視対象となるログを秘匿したままモニタリングすることのできる、秘匿モニタリングについての研究を行った。本年度は昨年度に提案した手法を拡張することで、数値データの演算などの処理を含む仕様に対しても、監視対象のログを秘匿したままモニタリングを行うことのできるアルゴリズムを提案し、計算機実験により実時間モニタリングに適用可能であることを示した。本研究の結果をまとめた論文は現在執筆中である。
また昨年度に引き続き、ブラックボックス検査と呼ばれる自動テスト手法の量的な拡張に関連する研究でも幾つかの成果を挙げた。まず第一に、ブラックボックス検査で無限通りの入力を扱うための基盤となる手法の構築を行った。従来のブラックボックス検査では主に入力として有限通りのアクションを考慮しているが、これは背景にあるオートマトン学習アルゴリズムがアルファベットの有限性に依存しているためである。本年度は記号的オートマトンという、遷移に述語が記述できるオートマトンの学習アルゴリズムを拡張することで、記号的ミーリオートマトンを学習することができるアルゴリズムの提案を行った。本研究の予備的な結果をまとめた論文を日本ソフトウェア科学会第40回大会にて発表し、発表を行った学生が優秀発表賞を受けた。また、従来のブラックボックス検査では離散的な時間概念を考慮したシステムのテストを行っていたが、物理情報システムにおいてはより連続的な時間概念を考慮する方が自然な場合も少なくない。本年度は時間オートマトンという、従来のオートマトンを連続的な時間概念に拡張したオートマトンに対する学習アルゴリズムの提案を行った。本研究の結果をまとめた論文は形式検証に関するトップ国際会議であるCAV 2023に採択され、発表を行った。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
当初の計画通り時間制約を含むシステムに対するブラックボックス検査のための基盤技術の構築を行い、トップ国際会議で採択されるなど、高い評価を得ている。
実行時モニタリングについても、秘匿モニタリングという当初計画に盛り込んでいなかった内容で実用上の進展があった。
|
| 今後の研究の推進方策 |
引き続き、ブラックボックス検査と実行時モニタリングを量的かつ実用的に拡張する研究を推進する。
|
| 次年度使用額が生じた理由 |
（理由） 予定していた海外出張でとりやめたものがあった．
（使用計画） 次年度の予算と合わせ使用する．
|
