-
题名非传递无干扰下IP安全与TA安全关系研究
- 1
-
-
作者
吕从东
-
机构
南京审计大学中国审计情报中心
-
出处
《计算机工程与应用》
CSCD
北大核心
2018年第8期78-84,共7页
-
基金
江苏省高等学校自然科学研究项目(No.17KJD520005)
南京审计大学人才引进项目
-
文摘
IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模型TA安全。对非传递无干扰下IP安全和TA安全进行比较分析,给出函数ipurge与函数ta的差别条件,函数ta隐藏了动作序列中部分动作的先后顺序,这些动作的先后顺序对于安全域是一种额外的信息。然后,使用该差别条件,提出当系统满足IP安全时,使系统满足TA安全所需要的条件并进行形式化推导。
-
关键词
无干扰
信息流安全模型
IP安全
ta安全
-
Keywords
noninterference
information security model
IP-secure
ta-secure
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-