基于信息流的多级动态可信度量模型

• 作者: 庄毅 迮恺 陈丹
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 可信度量 信息流 非传递无干扰 访问控制 形式化描述
• 年，卷（期）: 2018,（12）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 2156-2163
• 页数: 8页
• 分类号: TP391
• 字数: 7619字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2018.12.009

摘要

系统运行时受环境和各种外界因素影响, 加之内部多实体间信息流相互干扰, 可能会破坏系统的可信性, 最终导致产生非预期输出.现有研究主要针对初始化可信硬件环境下实体的完整性度量, 未能考虑机密性带来的可信影响, 同时对于实体可信度量的频率未能与实体推进时机同步.基于此提出一种基于信息流传递理论的多级动态可信度量模型, 该模型以信息流的非传递无干扰理论为依据, 通过引入可信代理模块, 设计一种多级安全访问控制策略, 分别从实体完整性和机密性两方面对系统中实体进行动态可信性度量.最后给出该模型的形式化描述和可信证明, 结合抽象系统实例来说明该模型的有效性, 相比现有研究, 所提模型具有更好的度量实时性, 是一种上下文感知的细粒度可信度量模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄毅	南京航空航天大学计算机科学与技术学院	126	790	14.0	23.0
2	陈丹	南京航空航天大学计算机科学与技术学院	30	125	6.0	10.0
4	迮恺	南京航空航天大学计算机科学与技术学院	2	0	0.0	0.0