【摘 要】
：
可信计算技术在提高系统安全性的同时,也给用户使用计算机带来了诸多限制。为了解决自由软件等未授权程序的可信验证问题,提出了一种基于可信计算的分布式可信验证机制（DTVMTC
论文部分内容阅读
可信计算技术在提高系统安全性的同时,也给用户使用计算机带来了诸多限制。为了解决自由软件等未授权程序的可信验证问题,提出了一种基于可信计算的分布式可信验证机制（DTVMTC）。该机制以庞大的Internet用户群为基础,通过网络数据统计的方法,实现对应用程序的可信验证,从而解决了对无可信来源但实际可信的应用程序进行可信验证的问题,保障了用户使用可信计算平台的自由。在Windows平台实现了DTVMTC的原型,实验结果表明DTVMTC能够实现预定目标且具有良好的性能。
其他文献
在Quantale结构中研究软集，给出软Quantale、软子Quantale、软理想、理想Quantale、软Quantale同态等概念，并讨论了其相关代数性质。
<正> 我国经济体制改革的目标已经明确:建立社会主义市场经济新体制。这意味着市场经济体制将取代计划经济体制,我国各行各业都将在走向市场经济过程中经受各种挑战。林业作
【正】 山区发展怎样才能建立在经济增长、环境保护和福利改善的基础之上,是许多发展中国家所面临的一个共同问题。本文提出了一个把引导山区发展的重点放在制度政策方面的改
在维吾尔文联机手写识别过程的训练阶段，单词被切分成字母，经过特征提取和聚类形成特征向量作为模型的输入。构造出以字符为基元的隐马尔可夫模型（HMM），将其嵌入到识别字典网络中
赛珍珠描写中国农民生活的小说《大地》，诗意地描绘了农民与土地的亲密关系，曾在20世纪30年代的美国引起轰动。小说随即被译为中文，胡仲持的全译本《大地》是1949年以前中国最受
稀疏分解算法是信号稀疏分解领域的一个重点问题，关系到稀疏分解在实际中的应用。在分析平滑l_0算法的基础上，提出了基于拟牛顿方向的平滑l_0算法。该算法在求解l_0范数的近似
<正> 怀化地区在山地开发中,普遍出现了山地使用权有偿流转的现象,并由此引发出了山地制度中存在的一些基本问题。对此,我们进行了系统的调查研究,并提出了相应的对策。一、
针对传统入侵检测系统检测速度慢和误检率高的问题，将免疫原理、移动Agent技术和量子粒子群优化算法相结合，提出了基于免疫Agent和粒子群优化算法的入侵检测模型。介绍了系统模
针对工程电磁装置的优化设计问题，提出一种基于紧支径向基函数的近似模型和改进微分进化算法的组合优化方法。利用基于紧支径向基函数的近似模型得到多维设计空间中构造复杂目
为解决粒子退化问题，在序列蒙特卡罗理论方面提出了一种引入对数取样的重采样策略，从仿真实验角度证实了它的有效性。对比其他几种典型的重采样，提出的重采样策略系统误差最小。