【摘 要】
:
信任链的建立和传递是构建可信计算环境的核心,然而,当前的信任链模型仅仅是针对具体的可信计算环境进行的形式化建模,其不具有一般意义,不能够为构建可信计算环境(特别是基于动态可信度量根(DRTM)的可信环境)提供理论方面的指导,也难以胜任评估现有的可信计算环境的重任。为了解决上述问题,进而构建一个具有一般意义的信任链模型。首先将信任链模型转换为数学模型,然后,在分析实体依赖关系和安全逻辑系统的基础上,
【机 构】
:
湘潭大学数学与计算科学学院,湘潭大学信息工程学院
【基金项目】
:
国家自然科学基金青年项目(61202397),湘潭大学科研启动费资助项目(11QDZ42)
论文部分内容阅读
信任链的建立和传递是构建可信计算环境的核心,然而,当前的信任链模型仅仅是针对具体的可信计算环境进行的形式化建模,其不具有一般意义,不能够为构建可信计算环境(特别是基于动态可信度量根(DRTM)的可信环境)提供理论方面的指导,也难以胜任评估现有的可信计算环境的重任。为了解决上述问题,进而构建一个具有一般意义的信任链模型。首先将信任链模型转换为数学模型,然后,在分析实体依赖关系和安全逻辑系统的基础上,采用了数学逻辑的证明方法证明了该信任链模型满足的性质。该模型不仅可以评估现有的可信计算平台(包括基于静态
其他文献
【正】 1993年11月,成都市三圣 调味品厂打算在周年厂庆时搞一 次广告宣传活动,借以提高该企业 和该厂产品“陈醋王”的知名度,遂 委托四川省大中小广告公司为其 设计广告方
【正】 五、建立现代企业制度的实施步骤 25.建立现代企业制度,是一项艰巨复杂的任务,必须经过试点,积累经验,到2000年前,大体用7年左右的时间逐步推进。 建立现代企业制度,
针对虚拟网请求结束时底层网络节能重构问题,提出一种虚拟网均衡节能重构算法。算法首先基于逼近理想排序法选择底层物理节点的相关信息作为方案属性,找到面对重构需求的最佳重构节点;然后优先进行节能重构,再对工作状态的网络拓扑进行均衡重构以改善底层网络映射状态。仿真结果表明,该方法改善了底层网络的负载均衡情况和能耗水平,提升了映射接收率和收益能耗比。
传统的云计算系统功率控制算法没有同时考虑公共云和私有云中的能耗优化问题。为了降低能量消耗,同时考虑公共云与私有云中的能量消耗问题,并基于任务合并机制提出了一种绿色的功率控制算法。算法将资源利用率与能量消耗之间的直接关系建模为一种任务合并问题,基于公共云和私有云任务的合并机制,提出了两种有节能意识的启发式算法。最后引入成本函数,用于表征算法的节能效率与节能能力,并分析了算法的最优加权因子。仿真结果表
运行于处理器上的进程如果在运行期间发生暂态故障,有可能导致严重的系统故障或安全漏洞。因此,必须在对系统造成损害前检测并尽量纠正这些差错。现有的差错检测方法虽然潜在性能优异,但是成本极高,因此无法在实践中部署。为了解决这一问题,提出了一种基于硬件的控制流监控技术。该技术首先从程序二进制接口提取出程序的合法控制流图,计算出CRC签名,对合法的控制流图进行编码;然后,当程序在处理器上运行时,使用预先计算
为了提高对复杂网络进行故障诊断时的准确率,以及实现故障节点的有效自修复,提出一种多属性加权模糊贝叶斯的复杂网络故障自修复机制。建立贝叶斯网络结构模型,针对故障网络和故障节点进行条件概率估计,实现故障类别诊断。在该模型的基础上引入了多属性值和模糊集合理论进行扩展,提出了一种多属性加权模糊贝叶斯,提升模型对节点进行故障诊断时的灵敏度和准确度。对网络和节点进行故障诊断后,采用网络故障自修复机制,在查找出
虚拟网映射是网络虚拟化技术的关键问题,以往研究常关注供应商的收益与开销,而网络设备的大量能源浪费使得供应商开始关注节能。将紧密中心度概念引入虚拟网映射问题中,同时考虑节点的位置和能力,优先使用已工作节点和缩短链路长度来降低能耗,提出了一种寻找核心节点优先映射(寻核)算法。该算法通过检验确保所选底层核心节点满足虚拟核心节点要求,节点和链路映射同步进行,同时根据贪婪策略保证所选底层网络节点跳数较小。仿
针对Bayesian Lasso方法的变量选择和异常值检测进行了研究。该方法是在线性回归模型中引入识别变量,借助于双层Bayesian模型和Gibbs抽样算法,给出识别变量后验概率的计算方法和变量选择的方法,通过比较这些识别变量的后验概率进行异常值定位。最后进行了大量的模拟实验,结果表明,该方法是可行且有效的。
针对实际广泛存在的具有深度变化的多平面场景,提出一种基于匹配点引导采样的多平面检测算法。根据平面结构中匹配点的相似度改进匹配点的采样规则,通过对匹配点的残差信息进行排序和加权分析,获取场景中各个平面结构对应的单应矩阵,从而实现了场景中多平面区域的准确检测。实验结果表明,与现有典型的算法相比,提出的算法可获得较高的平面检测准确率。
针对分布式MDS-MAP算法的不足,提出了一种基于图刚性理论的无线传感器定位新算法MDS-MAP(GR)。算法利用图的刚性理论,确定网络中的所有刚性子区域,然后利用合并定理将刚性子区域进行扩展,最后对合并得到的刚性区域利用MDS-MAP算法和锚节点实现网络中节点的大规模定位。算法尽可能对刚性区域进行合并,节省了执行MDS-MAP算法的次数,提高了执行效率。通过在不同拓扑结构的无线传感器网络中进行了