论文部分内容阅读
安全系统中的隐含信息流对系统保密特性构成了严重威胁，对安全系统进行相应的信息流分析是发现隐含信息流的最有效方法．以往的信息流分析主要基于事件轨迹模型进行，不易在系统安全实践中得到利用．该文把安全系统及安全策略模型化为有限自动机，通过研究有限自动机的特性来分析安全系统的信息流特性，进而确定出系统中是否存在隐含信息流．自动机模型比轨迹模型更为直观和自然地表述系统安全策略，在实际系统中能更好地得到应用．