非传递无干扰下IP安全与TA安全关系研究
来源：计算机工程与应用杂志2018年第8期北京时间：
作者：吕从东
单位：南京审计大学 中国审计情报中心，南京 211815
摘要：IP安全适用于非传递策略的无干扰模型。但是，满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息，因此，提出了新的无干扰模型TA安全。对非传递无干扰下IP安全和TA安全进行比较分析，给出函数[ipurge]与函数[ta]的差别条件，函数[ta]隐藏了动作序列中部分动作的先后顺序，这些动作的先后顺序对于安全域是一种额外的信息。然后，使用该差别条件，提出当系统满足IP安全时，使系统满足TA安全所需要的条件并进行形式化推导。
关键词：无干扰,信息流安全模型,IP安全,TA安全
