非传递无干扰下IP安全与TA安全关系研究

摘要：

IP安全适用于非传递策略的无干扰模型.但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模型TA安全.对非传递无干扰下I P安全和TA安全进行比较分析,给出函数ipurge与函数ta的差别条件,函数ta隐藏了动作序列中部分动作的先后顺序,这些动作的先后顺序对于安全域是一种额外的信息.然后,使用该差别条件,提出当系统满足IP安全时,使系统满足TA安全所需要的条件并进行形式化推导.

关键词：无干扰、信息流安全模型、IP安全、TA安全

所属期刊栏目：54

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

资助基金：江苏省高等学校自然科学研究项目17KJD520005;南京审计大学人才引进项目

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

页数：共7页

页码：78-84