マルチレベルデータベースおよびナレッジベースシステムにおけるセキュリティと推論

本論文は、論理的推論およびアプリケーションの意味論から生じるマルチレベルセキュリティへの脅威に対処します。このようなセキュリティの侵害は、従来のセキュリティメカニズムを回避し、アプリケーションに関するユーザーの知識に依存するため、特に困難です。推論とセキュリティの問題は、これまで漠然としており、明確に定義することが難しかったです。私たちは、マルチレベルデータベースシステムの文脈においてこれらの問題に焦点を当て、専門家システムと呼ばれることもあるナレッジベースシステムに対する関連性を示します。ここでは、これらの推論制御問題を研究するためのフレームワークを確立し、アプリケーションの関連する意味論の表現を説明し、これらの問題を防ぐためのシステムの安全性とセキュリティの基準を開発し、これらの基準を強制するためのアルゴリズムの概要を示します。