トピック

高信頼ソフトウェア構成学 (山内研究室)

計算機ソフトウェアグループとして,オペレーティングシステム(OS)を中心としたシステムソフトウェアの安全性と高性能化を実現する技術を研究開発している.計算機の安全性を向上させる技術として,機密情報の漏洩を防止する機能やセキュアOSの利便性を向上させる機能を研究開発している.また,独自機能を持つオペレーティングシステム Tenderの開発やプログラムの動作情報を利用した効率的なディスクキャッシュ機構の研究開発も行っている. http://www.swlab.cs.okayama-u.ac.jp/lab/yamauchi/index-j.html

高信頼ソフトウェア構成学 (山内研究室)

(17.01.18)