期刊文献+
共找到90篇文章
< 1 2 5 >
每页显示 20 50 100
基于交互式马尔可夫链的可信动态度量研究 被引量:9
1
作者 庄琭 蔡勉 沈昌祥 《计算机研究与发展》 EI CSCD 北大核心 2011年第8期1464-1472,共9页
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描... 可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信. 展开更多
关键词 可信计算 可信动态度量 交互式马尔可夫链 功能度量 性能度量
下载PDF
基于策略嵌入和可信计算的完整性主动动态度量架构 被引量:6
2
作者 邓锐 陈左宁 《计算机应用研究》 CSCD 北大核心 2013年第1期261-264,共4页
针对已有的一些完整性度量方法在度量主动性、灵活性和运行效率等方面的不足,提出了基于策略嵌入和可信计算的完整性主动动态度量架构(PEDIAMA)。将度量策略嵌入到度量目标内部,因此不需要专门的内存空间来集中维护所有的策略,节省了策... 针对已有的一些完整性度量方法在度量主动性、灵活性和运行效率等方面的不足,提出了基于策略嵌入和可信计算的完整性主动动态度量架构(PEDIAMA)。将度量策略嵌入到度量目标内部,因此不需要专门的内存空间来集中维护所有的策略,节省了策略的查询和维护成本,提高了运行效率。由于策略方便存取,制订灵活,不仅可以实时接收外部的度量请求,也可以依据内嵌的策略主动进行度量,主动防御性更强。同时,通过TPM硬件来保护度量架构和度量过程的安全,并对度量策略和相关度量结果进行签名保护,提高了整个系统的安全性。经过测试,PEDIAMA能够即时检测出针对运行实体的攻击,并且度量开销较小。 展开更多
关键词 可信计算 完整性度量 策略嵌入 执行链接格式 动态度量
下载PDF
基于行为的可信动态度量的状态空间约简研究 被引量:2
3
作者 庄琭 沈昌祥 蔡勉 《计算机学报》 EI CSCD 北大核心 2014年第5期1071-1081,共11页
针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系... 针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系统模型描述行为系统,通过事件结构模型研究行为关系,依据行为关系对变迁系统中各条路径进行重构,合并重构路径中相同的路径,实现变迁关系集约简,缩小状态空间.通过上述方法缓解了状态空间爆炸,并且,根据约简后的状态空间得到面向行为的可信动态度量的行为预期,增加细粒度动态度量方法在复杂系统中应用的可行性. 展开更多
关键词 可信动态度量 细粒度度量 状态空间约简 行为关系 行为预期获取 网络安全 信息安全
下载PDF
基于TPCM的主动动态度量机制的研究与实现 被引量:6
4
作者 田健生 詹静 《信息网络安全》 2016年第6期22-27,共6页
为了实现对系统的主动度量和控制,国内研究人员提出了基于可信平台控制模块(TPCM)的双系统并行体系结构,但受限于硬件设计和制造能力,短期内难以完全实现。文章基于当前可信硬件基础,在保留主动度量能力的前提下对双系统体系结构进行了... 为了实现对系统的主动度量和控制,国内研究人员提出了基于可信平台控制模块(TPCM)的双系统并行体系结构,但受限于硬件设计和制造能力,短期内难以完全实现。文章基于当前可信硬件基础,在保留主动度量能力的前提下对双系统体系结构进行了简化,基于可信平台控制模块设计并实现了系统运行中的主动动态度量机制,保障可信软件基(TSB)在完整运行周期中均能得到可信硬件的保护,有效解决了信息系统运行过程中可信软件基的自身安全保障问题。文章对主动动态度量机制的安全性进行了形式化证明,分析了各环节中可能受到的攻击及应对方案,并对核心技术进行了工程实现和测试分析。 展开更多
关键词 主动度量 动态度量 可信平台控制模块 可信软件基
下载PDF
一种多核系统任务调度算法动态度量方法 被引量:2
5
作者 谢盈 吴尽昭 《计算机应用研究》 CSCD 北大核心 2019年第1期132-135,13,共5页
任务调度算法的优劣直接影响系统的功能和性能,对其进行功能验证和性能评价具有很强的现实意义。改进了IMC构建多核系统任务调度算法的功能模型,扩展aCSL从逻辑层次上刻画任务调度算法的性能指标,并基于改进的IMC和扩展的aCSL提出了一... 任务调度算法的优劣直接影响系统的功能和性能,对其进行功能验证和性能评价具有很强的现实意义。改进了IMC构建多核系统任务调度算法的功能模型,扩展aCSL从逻辑层次上刻画任务调度算法的性能指标,并基于改进的IMC和扩展的aCSL提出了一种多核系统任务调度算法动态度量方法实现对任务调度算法的功能验证和性能评价。用例分析表明提出的动态度量方法能有效地对任务调度算法进行功能和性能的描述及度量,为多核系统任务调度算法的正确执行提供了有力支撑。 展开更多
关键词 交互式马尔可夫链(IMC) 基于动作的时序逻辑(aCSL) 多核系统 任务调度 调度模型 动态度量
下载PDF
动态度量三维几何形体
6
作者 蒋红英 鲁进步 《甘肃工业大学学报》 1997年第2期84-87,共4页
用一颗层次树来表示一个形体,通过对形体结构的分析,探讨了在显示实体模型的同时,如何实现动态度量的方法及编程过程.
关键词 动态度量 实体模型 CAD 几何形体 几何造型
下载PDF
土地可持续利用的动态度量 被引量:5
7
作者 于金方 周鹏 任建兰 《资源开发与市场》 CAS 2005年第4期289-291,共3页
完善土地持续利用的定量评价指标体系和评价方法乃是今后土地持续利用的重要课题,度量土地利用的可持续性应该遵循动态延续、面向区域、显示过程和突出目标的原则,据此建立一个动态地度量土地利用可持续性的指标体系,包括生产性、结构... 完善土地持续利用的定量评价指标体系和评价方法乃是今后土地持续利用的重要课题,度量土地利用的可持续性应该遵循动态延续、面向区域、显示过程和突出目标的原则,据此建立一个动态地度量土地利用可持续性的指标体系,包括生产性、结构性、效率性、公平性、稳定性、协调性、恢复性和可控性8个准则层,每一个准则层选择一个综合指标。 展开更多
关键词 土地可持续利用 动态度量 过程
下载PDF
一种基于行为的可信计算动态度量方法 被引量:1
8
作者 纪晓宇 冷冰 周洁 《通信技术》 2015年第11期1290-1294,共5页
针对恶意软件泛滥而现行杀毒软件无法检测未知恶意软件的情况,同时经分析恶意软件,发现虽然其形式多样,但是表现出的恶意行为却存在一定的规律性。由此提出一种实现可信计算动态度量的方法,通过拦截程序运行期间产生的行为,构建决策树模... 针对恶意软件泛滥而现行杀毒软件无法检测未知恶意软件的情况,同时经分析恶意软件,发现虽然其形式多样,但是表现出的恶意行为却存在一定的规律性。由此提出一种实现可信计算动态度量的方法,通过拦截程序运行期间产生的行为,构建决策树模型,以此为依据来判定程序行为是否符合预期。实验证明,此方法可以检测出未知恶意软件,之后通过改进数据预处理模块可以进一步降低误报率以及漏报率。 展开更多
关键词 可信计算 动态度量 决策树 行为
下载PDF
软件动态度量及其在逆向工程中的应用
9
作者 王玉英 李青山 +1 位作者 陈平 王学龙 《西安石油大学学报(自然科学版)》 CAS 2006年第1期64-70,共7页
在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性... 在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性,提出了一种在逆向工程中快速认定系统中某一功能的具体实现过程的方法.在这种方法中使用了标有动态扇入扇出值的程序依赖图和部分植入技术.运用这种方法得到的信息量较少但都是与用户的关注点密切相关的,有助于用户快速理解系统. 展开更多
关键词 逆向工程 动态软件度量 植入范围 程序依赖图
下载PDF
用动态度量方法加强软件开发过程管理
10
作者 叶建威 叶建芳 《计算机与数字工程》 2009年第1期88-90,共3页
软件开发过程管理的研究远远落后于开发技术、工具等方面的研究。通过描述软件开发过程的动态度量的方法,从生产的概念出发,给出软件开发动态度量的流程、方法,论述了管理、度量和数据元素选择的原则,从动态度量方法加强软件开发过程的... 软件开发过程管理的研究远远落后于开发技术、工具等方面的研究。通过描述软件开发过程的动态度量的方法,从生产的概念出发,给出软件开发动态度量的流程、方法,论述了管理、度量和数据元素选择的原则,从动态度量方法加强软件开发过程的角度作了探索性研究。 展开更多
关键词 软件工程 软件度量 动态度量
下载PDF
可信动态度量下学习行为数据分布式挖掘算法 被引量:1
11
作者 彭伟 《黑龙江工业学院学报(综合版)》 2019年第11期49-53,共5页
在远程在线学习过程中,需要进行学习行为数据的优化挖掘,指导学习行为优化,提出基于可信动态度量的学习行为数据分布式挖掘算法。建立远程在线学习行为数据的大数据演化特征分布模型,采用大数据信息融合方法进行学习行为数据的可信动态... 在远程在线学习过程中,需要进行学习行为数据的优化挖掘,指导学习行为优化,提出基于可信动态度量的学习行为数据分布式挖掘算法。建立远程在线学习行为数据的大数据演化特征分布模型,采用大数据信息融合方法进行学习行为数据的可信动态度量,提取学习行为数据分布式关联特征量,采用模糊相关性融合调度方法进行学习行为数据分布式挖掘过程中的自适应调度和寻优控制,结合模糊K均值聚类分析方法进行学习行为数据分布式挖掘的动态特征量聚类分析,在聚类中心中实现对远程在线学习行为数据的自适应融合和分布式挖掘。仿真结果表明,采用该方法进行可信动态度量下学习行为数据分布式挖掘的准确性较高,收敛性较好,挖掘过程的自适应学习性能较好。 展开更多
关键词 可信动态度量 学习行为数据 分布式挖掘 模糊聚类
下载PDF
基于非定长系统调用序列的程序行为动态度量方法
12
作者 蔡洪波 单征 +1 位作者 范超 赵炳麟 《计算机应用研究》 CSCD 北大核心 2016年第4期1154-1158,共5页
针对目前程序动态度量研究中实时性与准确性较差的问题,提出了一种利用程序行为特征进行度量的方法。通过筛选程序运行过程中产生的系统调用,依据其关联特性构成非定长系统调用序列作为程序的行为特征;采用后缀树结构设计实时特征度量... 针对目前程序动态度量研究中实时性与准确性较差的问题,提出了一种利用程序行为特征进行度量的方法。通过筛选程序运行过程中产生的系统调用,依据其关联特性构成非定长系统调用序列作为程序的行为特征;采用后缀树结构设计实时特征度量匹配算法(feature matching with updating suffix tree,FMUS),实现了程序运行过程中的实时特征匹配。实验表明,该方法具有较高的准确率和低时间耗费比。 展开更多
关键词 动态度量 行为特征 非定长 系统调用序列 后缀树
下载PDF
基于ARM虚拟化扩展的Android内核动态度量方法 被引量:2
13
作者 路子聪 徐开勇 +1 位作者 郭松 肖警续 《计算机应用》 CSCD 北大核心 2018年第9期2644-2649,共6页
针对现阶段内核级攻击对Android系统完整性的威胁,提出一种基于ARM虚拟化扩展的Android内核动态度量方法 DIMDroid。该方法利用ARM架构中的硬件辅助虚拟化技术,提供度量模块与被度量Android系统的隔离,首先通过分析在Android系统运行时... 针对现阶段内核级攻击对Android系统完整性的威胁,提出一种基于ARM虚拟化扩展的Android内核动态度量方法 DIMDroid。该方法利用ARM架构中的硬件辅助虚拟化技术,提供度量模块与被度量Android系统的隔离,首先通过分析在Android系统运行时影响内核完整性的因素从而得到静态和动态度量对象,其次在度量层对这些度量对象进行语义重构,最后对其进行完整性分析来判断Android内核是否受到攻击;同时通过基于硬件信任链的启动保护和基于内存隔离的运行时防护来保证DIMDroid自身安全。实验结果表明,DIMDroid能够及时发现破环Android内核完整性的rootkit,且该方法的性能损失在可接受范围内。 展开更多
关键词 ARM硬件虚拟化 Android内核 动态完整性度量 内核级攻击 HYPERVISOR
下载PDF
风险的动态度量和一个相关的随机对策问题(英文)
14
作者 嵇少林 《应用数学》 CSCD 北大核心 2001年第3期132-137,共6页
本文讨论不完全市场中股票收益率不确定时的动态风险度量问题和一个相关的随机对策问题 .该动态风险度量可表示为一个随机最优控制问题的值函数 .以倒向随机微分方程为工具我们给出了最优目标具有的形式 。
关键词 倒向随机微分方程 随机控制 动态风险度量 不完全市场 股票收益率 随机对策问题 鞍点
下载PDF
基于软件行为的可信动态度量 被引量:13
15
作者 庄琭 蔡勉 李晨 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2010年第2期133-137,共5页
提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行... 提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型. 展开更多
关键词 可信动态度量 可信计算 软件行为 行为迹 行为度量信息基(AMIB)
原文传递
VirtinSpector:一种基于UEFI的虚拟机动态安全度量框架设计与实现 被引量:4
16
作者 严飞 石翔 +2 位作者 李志华 王鹃 张焕国 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2014年第1期22-28,共7页
通过可信硬件能够弥补单纯软件安全的不足,从整体上提高云系统的安全性。但是,面对云环境运行时的安全,传统可信硬件技术无法提供足够的保障。为此,提出了一种基于UEFI的虚拟机动态安全框架——VirtinSpector。该框架能够将UEFI固件作... 通过可信硬件能够弥补单纯软件安全的不足,从整体上提高云系统的安全性。但是,面对云环境运行时的安全,传统可信硬件技术无法提供足够的保障。为此,提出了一种基于UEFI的虚拟机动态安全框架——VirtinSpector。该框架能够将UEFI固件作为可信基础,对云系统的基础设施层进行实时、动态的安全度量,提供传统可信技术无法达到的动态保护。在此框架基础上,以某国产服务器为实验平台,构建云环境,实现了一个面向Xen环境的UEFI虚拟机动态安全度量原型系统。实验与分析表明,该框架能够有效检测针对虚拟域、管理域和虚拟化软件的攻击,为云系统提供来自基础设施层的安全支撑。并且对原有系统的性能损耗在允许范围之内,不影响用户的正常使用。 展开更多
关键词 云安全 可信计算 动态度量 虚拟化
下载PDF
基于邻接点的VMM动态完整性度量方法 被引量:3
17
作者 吴涛 杨秋松 贺也平 《通信学报》 EI CSCD 北大核心 2015年第9期169-180,共12页
对于虚拟机监控器的动态完整性度量,由于其位于特权层,且复杂多变,一直是领域内的研究难点。提出了一种基于邻接点的动态完整性度量方法,利用邻接点作为度量模块的宿主,通过面向内存页的完整性模型和评估算法,实现了动态完整性度量。实... 对于虚拟机监控器的动态完整性度量,由于其位于特权层,且复杂多变,一直是领域内的研究难点。提出了一种基于邻接点的动态完整性度量方法,利用邻接点作为度量模块的宿主,通过面向内存页的完整性模型和评估算法,实现了动态完整性度量。实验表明,能够准确地检测到完整性受到破坏,且仅对计算密集型任务造成适中的性能损耗。 展开更多
关键词 虚拟机监控器 完整性 动态度量 邻接点 度量
下载PDF
基于扩展LS^2的VMM动态度量形式化分析 被引量:1
18
作者 纪祥敏 赵波 +1 位作者 向騻 夏忠林 《山东大学学报(理学版)》 CAS CSCD 北大核心 2014年第9期1-8,23,共9页
虚拟机监控器(virtual machine monitor,VMM)动态度量是保障虚拟化环境安全的重要手段,但是目前VMM动态度量正确性缺乏理论分析。基于VMM动态度量流程,确立了动态度量正确性目标,明确了定义动态度量应满足的重要属性,从操作语法、语义... 虚拟机监控器(virtual machine monitor,VMM)动态度量是保障虚拟化环境安全的重要手段,但是目前VMM动态度量正确性缺乏理论分析。基于VMM动态度量流程,确立了动态度量正确性目标,明确了定义动态度量应满足的重要属性,从操作语法、语义及推理规则方面扩展安全系统逻辑(logic of secure systems,LS2),据此推导动态度量程序的不变性,验证VMM动态完整性度量应满足的正确性。结论分析表明,应用本文扩展的LS2方法分析得出的动态度量结论与该技术实际应用效果一致,说明扩展的LS2方法有效,可为虚拟化环境安全提供理论参考。 展开更多
关键词 虚拟机监控器 动态度量 安全系统逻辑
原文传递
基于动态可信度量的敏感信息安全控制模型 被引量:1
19
作者 费稼轩 张涛 +2 位作者 林为民 陈亚东 曾荣 《计算机技术与发展》 2012年第5期237-241,共5页
随着信息技术的高速发展,计算机系统处理的敏感信息规模不断增长,确保敏感信息的安全变得非常重要。文中对传统的多级安全模型BLP模型进行了分析,指出其对敏感信息完整性保护不足的安全隐患。针对该安全隐患,文中设计了基于动态可信度... 随着信息技术的高速发展,计算机系统处理的敏感信息规模不断增长,确保敏感信息的安全变得非常重要。文中对传统的多级安全模型BLP模型进行了分析,指出其对敏感信息完整性保护不足的安全隐患。针对该安全隐患,文中设计了基于动态可信度量的敏感信息安全控制模型(DTMSISCM)并给出了其实现架构,DTMSISCM通过实施基于可信度的敏感信息安全控制,在维持和BLP模型相同保密性的基础上,保证了敏感数据的完整性,提高了系统敏感信息安全控制的可用性。 展开更多
关键词 多级安全 敏感标记 可信计算 动态度量 可信度
下载PDF
操作系统内核的动态可信度量模型 被引量:1
20
作者 辛思远 赵勇 +1 位作者 廖建华 王婷 《计算机应用》 CSCD 北大核心 2012年第4期953-956,967,共5页
动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约... 动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约束描述内核动态数据的动态完整性,通过语义约束检查验证内核动态数据是否维持其动态完整性。给出了模型的动态度量性质分析与证明,模型能够有效地对操作系统内核的动态数据进行可信度量,识别对内核动态数据的非法篡改。 展开更多
关键词 可信计算 可信度量 动态度量 操作系统内核 远程证明
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部