【摘 要】
:
在分布式计算中,一个重要的问题是如何验证远程计算机系统的状态。以可信计算联盟(Trusted Computing Group)的可信平台模块为基础,提出一种安全验证远程计算机系统状态的方法,并在Windows系统上实现。通过该远程证实系统,远程的挑战者能够获得证实系统(被验证的系统)运行时的状态。
【机 构】
:
中国科学院计算技术研究所,中国科学院计算技术研究所,中国科学院计算技术研究所,中国科学院计算技术研究所 北京100080,中国科学院研究生院,北京100049,北京100080,中国科学院研究生院,北
论文部分内容阅读
在分布式计算中,一个重要的问题是如何验证远程计算机系统的状态。以可信计算联盟(Trusted Computing Group)的可信平台模块为基础,提出一种安全验证远程计算机系统状态的方法,并在Windows系统上实现。通过该远程证实系统,远程的挑战者能够获得证实系统(被验证的系统)运行时的状态。
其他文献
资源可用性的预测与评估是动态网格环境下合理资源选择和保证服务质量的前提和基础。基于相关资源和任务的历史信息,利用概率论方法对资源可用性进行了预测与评估,提出了资源离线时间、本地任务执行时间、等待队列长度、等待时间等可用性尺度,证明并给出这些尺度的分布函数。实验表明,基于相关历史信息对资源可用性进行预测方法有效,并且根据资源可用性评估及提取的相关可用性尺度来确定任务调度的候选资源,可大大减少候选资源
定义了最大团问题,分析和研究了使用启发式算法求解最大团问题的进展,介绍了当前求解最大团问题的典型启发式算法,最后给出了测试这些启发式算法性能的测试基准图。
针对房地产业传统商务模式存在的问题以及人们对生活空间个性化的需求,提出了基于Internet的数字化样板房定制原型系统。以整合房地产相关产业,形成快捷有效、运作成本更低的产业流程和产业模式为目的,尝试利用电子商务、计算机网络、虚拟现实等技术改造传统房地产业。就新型房地产电子商务模式进行了探讨,搭建了原型系统的基本构架,并重点研究了可编程实时渲染等关键技术。对利用可编程实时渲染技术改进虚拟展示系统材
结合动态能量管理机制,对AC-MAC协议更合理地控制无线收发器的状态转换次数,即在保证了低延迟和高吞吐量的同时,又减少了潜在的能量消耗。
基于内容的全文检索技术广泛用于全文数据库中,为解决办公自动化系统中大量文档的快速检索问题,将SQL Server全文索引技术运用于办公自动化系统开发中。首先介绍SQL Server全文检索流程,然后将其运用于办公自动化系统文档管理模块公文搜索的实现中,全文检索用户界面层采用ASP.NET开发,应用业务层采用C#语言。
ICU复杂文本布局引擎与其他应用较为广泛的复杂文本布局引擎相比的一大长处是它的开放源代码。通过分析ICU源码,并以此为基础设计新的复杂文本的布局引擎。首先简要介绍了复杂文本布局引擎的一般原理,然后以复杂文字语言蒙古文为例,详细探讨了基于ICU的复杂文本布局引擎的设计思路和方法,最后对复杂文本布局引擎的跨平台应用进行了深入研究。
针对日面活动的多样性和复杂性,采用高性能的数字视频处理技术——达芬奇技术设计了日面活动图像处理与识别系统(SIPRS)。首先从SIPRS的系统架构出发,对系统的硬件设计进行了分析,特别是对DM6437与数字相机MDC1004之间的接口进行了详细的分析;在软件上按系统功能需求规划出八个核心任务,实现了SIPRS基于Web的远程系统配置及日面活动图像的预处理、处理和识别功能。整个系统采用高性能数字媒体
改进了Shoup的方案,并使用可验证秘密共享技术提出了一种可验证的门限RSA签名方案。改进方案与Shoup原方案和王的方案相比,安全性相同,并且性能更好。
随着Internet应用的普及和Web技术的发展,基于Web的工作流管理服务为异地办公及跨企业的合作提供了良好的基础,采用Web技术已成为新一代工作流管理系统的主要特征。为了进一步提高其灵活性、可维护性和可扩展性,提出了一种基于Web Portal的工作流客户端的思路,并给出了体系结构的设计以及主要的实现技术。
为了有效访问基于位置服务(LBS)环境中的服务信息,提出了基于移动agent和元数据的LBS信息查询新思路,给出了构建LBS信息查询系统的方法,并利用移动agent开发平台Voyager和Java系列软件开发了一个分布式的LBS信息查询系统,实现了在LBS系统中信息的透明访问。