刘了
- 作品数：10 被引量：5H指数：2
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于完整性和权限控制的动态安全防御架构
- 本文针对恶意代码的实施原理,借鉴国产TPCM模块'运行与防御并行的双体系结构'思想,提出了一种基于完整性和权限控制的动态防御架构,详细阐述了该架构的运行机理,并对其安全性进行了分析。
- 于颖超刘了
- 关键词：可信计算动态防御权限控制
- 文献传递
- 一种安全VM-vTPM迁移协议的设计与实现被引量：2
- 2012年
- 在分析现有vTPM迁移方案的基础上提出了安全VM-vTPM迁移的安全需求,并针对这些安全需求,提出了一种新的安全VM-vTPM迁移协议。详细阐述了协议各阶段涉及的具体内容,并对其进行了安全评估。最后,基于Xen讨论了其实现及性能开支。
- 于颖超刘了陈左宁
- 关键词：可信计算虚拟化XEN
- 多核处理器操作系统设计方法
- 一种多核处理器操作系统设计方法，包括：第一步骤，用于建立基于资源划分的多系统架构；第二步骤，用于建立全局资源管理机制。在第一步骤中，将处理器和内存按照同构和紧耦合的原则进行划分，以使得每个核单独运行一份操作系统镜像，并且...
- 梁荣晓郭毅石良军于颖超刘了
- 文献传递
- 网格技术在药物研发领域的应用
- 2006年
- 讨论了网格技术在药物研发领域的应用,药物研发不仅需要大量的计算资源,还需要一个信息交互集成的环境,使得研发过程各个方面的人员都能参与进来。介绍了药物研发的特征,着重分析了在网格环境下药物研发的操作模型,设计了网格的分层架构,并讨论了药物研发网格的实现,最后,通过在该网格环境下和传统的集群环境下进行的一组对比实验,对该网格平台进行了测试和分析。
- 杜雪锋张文举刘了马范援沈建华
- 关键词：网格计算药物研发
- 药物发现网格设计与实现被引量：2
- 2006年
- 讨论了药物发现网格(DDGrid)设计与实现,药物发现网格聚集和利用因特网上异构的地理位置不同的资源为药物设计提供了巨大计算能力。分析了药物发现网格体系结构和实现关键技术,以及对功能模块的描述,并通过实验对系统进行了测试以及任务调度分析。
- 张文举陈曙东刘了马范援沈建华
- 关键词：网格计算药物发现任务调度对等计算
- 开放环境下的远程证明体系架构设计
- 2012年
- 虚拟化技术和证明技术相互依赖,只有两者相互结合,才能为安全系统奠定坚实的基础。首先给出在开放环境下使用证明技术建立信任关系需要解决的问题,然后提出一种支持远程证明的安全体系架构Sec_TV,讨论该架构如何结合虚拟化和证明技术来增强系统的安全性,并给出Sec_TV下远程证明协议设计,最后,从Sec_TV体系架构本身及Sec_TV远程证明协议两个方面讨论这个远程证明体系架构的安全性。
- 于颖超刘了陈左宁
- 关键词：可信计算虚拟化远程证明TCM
- 多核处理器操作系统设计方法
- 一种多核处理器操作系统设计方法，包括：第一步骤，用于建立基于资源划分的多系统架构；第二步骤，用于建立全局资源管理机制。在第一步骤中，将处理器和内存按照同构和紧耦合的原则进行划分，以使得每个核单独运行一份操作系统镜像，并且...
- 梁荣晓郭毅石良军于颖超刘了
- 文献传递
- 一种基于核间异步消息队列与共享内存的域间通信方法
- 本发明提供了一种基于核间异步消息队列与共享内存的域间通信方法，包括：创建一对Netlink套接字，分别位于用户空间和内核空间，用于实现用户与内核之间的通信；发送方进程通过Netlink套接字将消息传递给内核空间，操作系统...
- 何升殷红武刘了林海南雷鸣
- 文献传递
