基于自动机监控的二维降密策略

摘要：

降密策略静态实施机制具有限制性过强的缺陷:它将降密策略语义条件判定为安全的程序排斥在外.为了建立更加宽容的实施机制,基于自动机理论,建立了二维降密策略的动态监控机制.程序执行中的命令事件被抽象为自动机的输入,自动机根据这些输入信息跟踪程序执行过程中的信息流,禁止违反降密策略的程序命令的执行.最后,证明了自动机监控机制的可靠性.

关键词：信息流、自动机、保密性、无干扰

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：江苏省博士后科研资助计划1401022C

在线出版日期：2016-05-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：194-199