高级检索
检索提示:高级检索多个条件检索时是按照顺序运算的:如 A或B与C 即:(A或B)与C
[期刊论文]
操作系统内核的动态可信度量模型
作者:
收录:
摘要:
动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约束描述内核动态数据的动态完整性,通过语义约束检查验证内核动态数据是否维持其动态完整性。给出了模型的动态度量性质分析与证明,模型能够有效地对操作系统内核的动态数据进行可信度量,识别对内核动态数据的非法篡改。
关键词:
作者机构:
通讯作者信息:
电子邮件地址:
相关关键词:
相关文章:
2013,小型微型计算机系统
2021,网络与信息安全学报
2011,计算机研究与发展
2018,2018第七届全国安全等级保护技术大会
来源 :
计算机应用
年份: 2012
期: 04
卷: 32
页码: 953-956,967
被引次数:
WoS核心集被引频次: 0
SCOPUS被引频次:
ESI高被引论文在榜: 0 展开所有
万方被引频次:
中文被引频次:
近30日浏览量: 5
归属院系:
信息学部 计算机学院
全文获取
外部链接: