内的セキュリティ問題に対する自動管理システムのための知識の定式化

摘要

内的セキュリティ問題とは，外部からの侵入などではなく内部の利用者によって引き起こされるセキュリティに関する問題を指す．特に計算機システムの管理者によるものは深刻な結果をもたらしかねない．我々は今までにこれに対処するための自動管理システムを提案している．自動管理システムは認識機構，判断機構，応答機構の三機構からなるものであるが，本論文ではこのうち判断機構の構築方法について詳細を述べ定式化を行う．そしてその検証のためにネットワーク機能の一部についての知識を構築し，それに基づく動作の実例を示す．