【摘 要】
：
针对现有远程证明技术仅对远程平台进行接入网络前的静态信息验证的局限性,提出了实时监控下的动态远程证明模型(DRAM-RTM)。该模型从平台行为和实时监控两个方面提升远程平台接入网络后的可信性。它将平台行为分为系统访问控制策略的变化行为和用户的应用行为,并将对行为的完整性度量和对动作执行情况的验证联合起来以提高证明的可信性;考虑到实时监控的负载开销,模型根据远程证明的历史验证结果动态调整监控力度,提
论文部分内容阅读
针对现有远程证明技术仅对远程平台进行接入网络前的静态信息验证的局限性,提出了实时监控下的动态远程证明模型(DRAM-RTM)。该模型从平台行为和实时监控两个方面提升远程平台接入网络后的可信性。它将平台行为分为系统访问控制策略的变化行为和用户的应用行为,并将对行为的完整性度量和对动作执行情况的验证联合起来以提高证明的可信性;考虑到实时监控的负载开销,模型根据远程证明的历史验证结果动态调整监控力度,提高了模型的性能;最后给出该模型的协议并进行了分析。
其他文献
软硬件划分已被证明是NP完全问题,大多数研究主要集中在寻找各种快速的近似算法,常见的有爬山法、遗传算法、模拟退火、禁忌搜索等。这些算法大多只能处理小规模问题,而且是单纯从算法角度来研究软硬件划分问题,并没有考虑系统成本。以软硬件协同函数库为统一抽象模型,将系统执行时间、系统成本以及硬件面积等因素融入到0-1动态规划算法中,并根据实际情况分析改进0-1动态规划算法的求解过程,得到划分方案。最后通过实
<正> 历代的建筑师们一直在探求着人、建筑、环境之间的协调,演绎着绿色文化。为了创造人类更好的生存环境,有必要对建筑设计与绿色文化进行探讨。 一、绿色建筑设计的自然辩
针对减少毛刺能够有效地降低电路功耗,提出了一种基于防火墙寄存器技术的FPGA低功耗布线算法。在布线过程中,一方面运用算法增加防火墙寄存器滤掉毛刺;另一方面通过修改代价函数,动态地调节输入信号的路径,使信号到达查找表输入端的时间基本趋于一致,从而有效地减少毛刺,降低电路的动态功耗。实验结果表明,在运算时间相同的情况下,与其他算法相比,该算法平均能消除约72%～81%的毛刺,降低约4%～8%的功耗,减
针对非支配遗传算法NSGA-Ⅱ在大规模SoC软硬件划分中存在的不足,鉴于协同进化机制在解决复杂问题上所体现出来的优势,提出了一种基于协同进化的混合算法CO-NSGA-Ⅱ,并引入了三个协同算子:种间交叉算子、淘汰算子和分裂算子。实验表明,在基准测试函数实验和较大规模的软硬件划分实验中,CO-NSGA-Ⅱ的性能要明显优于NSGA-Ⅱ,这也体现了协同进化在解决大规模软硬件划分问题上的优势和潜力。
探讨了自动生成命题逻辑系统R的可读证明。采用试探法和自然推理法分别从前推和后推模拟人类思维求证,试探法根据推理规则将待证公式反向分解,自然推理法从假设出发根据推理规则生成新的公式。两种方法都实现了相干命题逻辑系统R的可读证明,并结合实现了混合证明。试探法和自然推理法是生成可读证明的有效方法,前推和后推两种思维方法也适用于其他逻辑系统的自动证明。
北京2008，承载着全中国人民的奥运梦想，与此同时达意隆国际、国内市场也捷报频传。截止到7月底，达意隆的订单总额已超过2007年全年的订单总额，开创了达意隆历史上的新篇章。
工程项目的责任成本管理是项目部管理的核心内容，是实现项目盈利和经济效益最大化的根本保证。建立和实行“责任成本”制度，是搞好项目管理的有效途经和基本手段。文章从责任成
<正> 清真寺座落于合肥市逍遥津公园对面,寿春路南侧,由二层门楼和单层厅堂构成,砖墙(柱)木屋架结构,建筑面积为241.73m~2(见图一),建于1956年,是全市伊斯兰教群众进行宗教仪
土钉支护结构是70年代发展起来的用于土体开挖和稳定边坡的一种新型的挡土结构.它是由被加固土、放置于原位土体的细长金属杆件及附着于坡面的混凝土面板所组成.土钉的特点是
明确招标人、招标代理机构的角色定位与各自职责无疑是招标市场健康发展的先决条件;低价竞争成为目前物业管理招投标活动中不容忽视的现象,各物业管理市场主体对此也存在不同