刘了

作品数:6被引量:4H指数:2
导出分析报告
供职机构:江南计算技术研究所更多>>
发文主题:可信计算虚拟化网格计算操作系统TCM更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《高性能计算技术》《电子技术应用》《计算机应用与软件》《计算机工程》更多>>
所获基金:国家重点基础研究发展计划国家高技术研究发展计划国家科技重大专项更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
开放环境下的远程证明体系架构设计
《计算机应用与软件》2012年第8期86-89,105,共5页于颖超 刘了 陈左宁 
国家重点基础研究发展计划(2007CB310907)
虚拟化技术和证明技术相互依赖,只有两者相互结合,才能为安全系统奠定坚实的基础。首先给出在开放环境下使用证明技术建立信任关系需要解决的问题,然后提出一种支持远程证明的安全体系架构Sec_TV,讨论该架构如何结合虚拟化和证明技术来...
关键词:可信计算 虚拟化 远程证明 TCM vTCM 
一种安全VM-vTPM迁移协议的设计与实现被引量:2
《电子技术应用》2012年第4期130-133,共4页于颖超 刘了 陈左宁 
国家"973"计划基金资助项目(2007CB310907)
在分析现有vTPM迁移方案的基础上提出了安全VM-vTPM迁移的安全需求,并针对这些安全需求,提出了一种新的安全VM-vTPM迁移协议。详细阐述了协议各阶段涉及的具体内容,并对其进行了安全评估。最后,基于Xen讨论了其实现及性能开支。
关键词:可信计算 虚拟化 vTPM 安全VM—vTPM迁移 XEN 
可信虚拟平台技术研究与实现
《高性能计算技术》2012年第1期12-16,共5页曾珑 石良军 刘了 郭毅 
本文基于一种自主虚拟化技术,以可信密码模块TCM为可信硬件基础,详细分析实现可信虚拟平台的技术细节,完成可信虚拟平台框架设计与实现,软件模拟TCM与TCM管理器设计,并对TCM请求响应模型的性能进行了详细分析。
关键词:可信计算 TCM 虚拟化 
网格技术在药物研发领域的应用
《计算机工程》2006年第11期256-258,共3页杜雪锋 张文举 刘了 马范援 沈建华 
国家"863"计划基金资助项目(2004AA104270)
讨论了网格技术在药物研发领域的应用,药物研发不仅需要大量的计算资源,还需要一个信息交互集成的环境,使得研发过程各个方面的人员都能参与进来。介绍了药物研发的特征,着重分析了在网格环境下药物研发的操作模型,设计了网格的分层架构...
关键词:网格计算 虚拟筛选 药物研发 
药物发现网格设计与实现被引量:2
《计算机工程》2006年第11期259-261,共3页张文举 陈曙东 刘了 马范援 沈建华 
国家"863"计划基金资助项目(2004AA104270)
讨论了药物发现网格(DDGrid)设计与实现,药物发现网格聚集和利用因特网上异构的地理位置不同的资源为药物设计提供了巨大计算能力。分析了药物发现网格体系结构和实现关键技术,以及对功能模块的描述,并通过实验对系统进行了测试以及任...
关键词:网格计算 药物发现 任务调度 对等计算 
IPSec NAT穿越技术初探
《高性能计算技术》2004年第4期50-54,共5页刘了 王宇 
VPN常常要与NAT组合使用,因此,应用IPSec协议的VPN方案必须解决NAT兼容性问题。IPSec之NAT穿越是IETF的IPSec工作组至今仍无定案的技术问题。本文首先介绍了NAT协议和IPSec的工作原理,然后详细论述了IETF的RFC草案中给出的IPSec NAT...
关键词:IPSEC NAT穿越封装与拆封ESP AH传输模式 隧道模式 
检索报告 对象比较 聚类工具 使用帮助 返回顶部