崔奇
- 作品数：4 被引量：13H指数：2
- 供职机构：中国科学院研究生院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 按需构造的信息安全试验平台的设计与实现
- 2009年
- 针对传统信息安全试验平台在抗破坏性、可定制性、可扩展性和可重现性等方面存在的不足,提出了一个支持按需构造的信息安全试验平台RuVisen的设计思想,并讨论其实现方法。RuVisen借助虚拟机和虚拟网络技术,通过软件方法,在物理环境之上按需重构试验环境,为信息安全试验环境的研究和开发提供了一种有效的方法。
- 王宇石文昌崔奇
- 关键词：信息安全虚拟机虚拟网络
- 一种通过应用程序验证TPM标准符合性的方法(英文)被引量：7
- 2008年
- 安全涉及系统保护与策略符合性两层意义.目前TCG尽管已经发布了可信计算的相关标准,但是缺乏标准符合性验证的规范.将一种验证TPM命令标准符合性的机制引入到可信计算应用程序之中,在TPM执行功能之前检验其相关命令的标准一致性;同时,还进一步讨论了标准符合链的思想,通过确保每个组件的标准符合性来加强整个计算平台的安全性.
- 崔奇石文昌
- 关键词：可信计算组织可信平台模块
- 虚拟化试验平台网络支撑环境的设计与实现
- 试验平台是计算机技术的一个重要组成部分。无论是面向研究还是应用，开发出来的产品都需要在试验平台上经过测试。传统的基于物理机器的试验平台在灵活性，安全性以及可重现性等方面均存在较大的劣势，虚拟机技术的复兴为克服这一困难提供...
- 崔奇
- 关键词：虚拟机虚拟网络
- 文献传递
- TPM接口命令标准符合性测试的设计与实现被引量：6
- 2009年
- 标准符合性是衡量可信计算模块(TPM)芯片是否存在安全漏洞的重要因素。该文面向可信计算组织规范,给出一个针对TPM接口命令的标准符合性测试方案。运用有限状态机归纳测试集的方法实现了原型。对某款TPM芯片进行实测的结果表明,该方案是有效且切实可行的。
- 崔奇马楠刘贤刚
- 关键词：可信计算模块可信计算组织有限状态机
