国家高技术研究发展计划(2005AA142030)
- 作品数：5 被引量：40H指数：4
- 相关作者：侯紫峰韦卫肖政陈军徐娜更多>>
- 相关机构：中国科学院中国人民解放军海军航空工程学院山东工商学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于可信平台模块的远程证实的设计和实现被引量：1
- 2007年
- 在分布式计算中,一个重要的问题是如何验证远程计算机系统的状态。以可信计算联盟(Trusted Computing Group)的可信平台模块为基础,提出一种安全验证远程计算机系统状态的方法,并在Windows系统上实现。通过该远程证实系统,远程的挑战者能够获得证实系统(被验证的系统)运行时的状态。
- 陈军肖政侯紫峰韦卫
- 关键词：安全芯片可信平台模块可信计算
- 一种基于TPM芯片的计算机安全体系结构被引量：10
- 2007年
- 针对现行通用个人计算机基于开放架构、存在诸多攻击点等安全问题,提出了一种基于TPM安全芯片的新型计算机体系结构。设计并实现了基于安全芯片的软件协议栈TSS,在安全芯片中使用软件协议栈,通过核心服务API来调用核心服务模块,解决远程通信的平台信任问题。设计并实现了基于多协议的授权和认证管理,实现上层应用和TPM之间的授权会话及授权认证,从而保证计算机能够完成安全计算和安全存储的工作,使计算平台达到更高的安全性。
- 邢启江肖政侯紫峰姜永华
- 关键词：TPM安全芯片可信计算
- 基于标签Petri网的OWL-S建模与分析被引量：9
- 2007年
- 提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL-S编辑器中嵌入该功能,完善了编辑器的功能。
- 李景霞肖政侯紫峰
- 关键词：可达性死锁
- 一种基于安全芯片的CA方案设计和实现被引量：5
- 2006年
- 以符合可信计算联盟标准的安全芯片为基础,提出一种基于安全芯片的CA方案,它不仅解决了CA抵抗外部攻击,而且也解决了CA抵抗内部攻击的问题,同时该方案具有较高的性能和较低的成本。
- 陈军侯紫峰韦卫曲亚东
- 关键词：认证中心(CA)公开密钥基础设施安全芯片可信平台模块
- 基于安全芯片的可信平台设计与实现被引量：16
- 2006年
- 基于可信计算联盟的规范,设计并实现了一个能够进行系统完整性数据收集与度量的可信终端系统,在不明显降低系统效率的前提下,获得了更高的安全保障,为进一步建立可信网络环境提供了基础。
- 徐娜韦卫
- 关键词：可信计算
