%0 Journal Article
%T 基于自动机监控的二维降密策略
%A 金 丽？
%A 朱 浩？
%J 计算机科学
%D 2015
%R 10.11896/j.issn.1002-137X.2015.07.043
%X 降密策略静态实施机制具有限制性过强的缺陷:它将降密策略语义条件判定为安全的程序排斥在外。为了建立更加宽容的实施机制,基于自动机理论,建立了二维降密策略的动态监控机制。程序执行中的命令事件被抽象为自动机的输入,自动机根据这些输入信息跟踪程序执行过程中的信息流,禁止违反降密策略的程序命令的执行。最后,证明了自动机监控机制的可靠性。
%K 信息流
%K 自动机
%K 保密性
%K 无干扰
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20150743&flag=1