| 基于信息流的多级动态可信度量模型 |
| |
| 引用本文： | 迮恺,陈丹,庄毅.基于信息流的多级动态可信度量模型[J].计算机工程与科学,2018,40(12):2156-2163. |
| |
| 作者姓名： | 迮恺 陈丹 庄毅 |
| |
| 作者单位： | （1.南京航空航天大学计算机科学与技术学院，江苏 南京 211106;
2.软件新技术与产业化协同创新中心，江苏 南京 211106） |
| |
| 基金项目： | 国家自然科学基金（61572253）;“十三五”装备预研领域基金（61402420101HK02001）;航空科学基金（2016ZC52030） |
| |
| 摘 要： | 系统运行时受环境和各种外界因素影响，加之内部多实体间信息流相互干扰，可能会破坏系统的可信性，最终导致产生非预期输出。现有研究主要针对初始化可信硬件环境下实体的完整性度量，未能考虑机密性带来的可信影响，同时对于实体可信度量的频率未能与实体推进时机同步。基于此提出一种基于信息流传递理论的多级动态可信度量模型，该模型以信息流的非传递无干扰理论为依据，通过引入可信代理模块，设计一种多级安全访问控制策略，分别从实体完整性和机密性两方面对系统中实体进行动态可信性度量。最后给出该模型的形式化描述和可信证明，结合抽象系统实例来说明该模型的有效性，相比现有研究，所提模型具有更好的度量实时性，是一种上下文感知的细粒度可信度量模型。
|
| 关 键 词： | 可信度量 信息流 非传递无干扰 访问控制 形式化描述 |
| 收稿时间： | 2017-09-07 |
| 修稿时间： | 2018-12-25 |
A multilevel dynamic trusted measurement
model based on information flow |
| |
| ZE Kai,CHEN Dan,ZHUANG Yi.A multilevel dynamic trusted measurement
model based on information flow[J].Computer Engineering & Science,2018,40(12):2156-2163. |
| |
| Authors: | ZE Kai CHEN Dan ZHUANG Yi |
| |
| Affiliation: | （1.College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106;
2.Collaborative Innovation Center for Novel Software and Industrialization,Nanjing 211106,China）
|
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
