ホーム
ニュース
研究紹介
メンバー
お問い合わせ
ホーム
ニュース
研究紹介
メンバー
お問い合わせ
研究内容について
・金子研究室の研究分野は大きくセーフティとセキュリティに分かれ、広くシステムレベルからプログラムレベルまでのシステム安全性を研究している。
・システム全体から安全性を分析するシステム理論に基づく事故モデル(STAMP)やレジリエンスエンジニアリングで分析を実施。
・対策方法として、コンピュータウイルスを無力化するアルゴリズム潜在バグをうまないプログラム、意思決定インテリジェンス(Naturally Decision Intelligence)、各種暗号技術、AI/IoTシステムの安全性技術として、対策方法を研究している。
研究テーマについて
1. 2023年度の研究テーマ
・航空機墜落事故
・マイナンバーカードのシステム事故
2. 2024年度の研究テーマ
・ランサムウェアの分析と対策
・自動運転の安全性分析と制御アルゴリズムの研究