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

• 作者: 吕从东
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 无干扰 信息流安全模型 IP安全 TA安全
• 年，卷（期）: 2018,（8）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 78-84
• 页数: 7页
• 分类号: TP309
• 字数: 7963字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1611-0522

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕从东	南京审计大学中国审计情报中心	4	2	1.0	1.0