詹静
- 作品数：5 被引量：28H指数：3
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划教育部重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 可信平台模块自动化测试研究被引量：7
- 2009年
- 可信平台模块(trusted platform module,TPM)是信息安全领域新发展趋势可信计算的关键部件,对其进行规范符合性测试非常有必要.由于传统测试方法与经验无法满足精确、易被机器处理的测试要求,状态机理论可为符合性测试的正确性提供理论基础,但易于产生状态爆炸问题.因此,基于TPM规范进行了一致性测试建模,提出相应策略提高测试效率,建立了TPM自动化测试工具.该工具能基于数据库自动生成测试用例,根据状态图进行一致性测试或自定义测试,达到过程可视化的效果.针对待测试产品得出了较为全面一致性结论和基本安全分析,为今后的可信产品安全性测试打下基础.
- 詹静张焕国
- 关键词：可信计算可信平台模块自动化测试工具
- 基于状态机理论的可信平台模块测试研究
- 可信平台模块(trusted platformmodule,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要.基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架.
- 詹静张焕国徐士伟向騻
- 关键词：符合性测试可信平台模块
- 文献传递
- 基于状态机理论的可信平台模块测试研究被引量：12
- 2008年
- 可信平台模块(trusted platform module,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要。基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架。
- 詹静张焕国徐士伟向騻
- 关键词：符合性测试可信平台模块
- 基于LFSR的演化随机序列发生器被引量：2
- 2009年
- 针对基于线性反馈移位寄存器的随机序列发生器产生的随机数线性复杂度低的问题,设计一个新的随机序列发生器,使用遗传算法演化线性反馈移位寄存器产生的随机序列,新产生的序列可以通过SP800-22的测试。测试结果表明,生成的序列周期大、线性复杂度高,能够满足安全协议和密码算法的安全强度要求。
- 王玉华管爱红侯志强詹静张焕国
- 关键词：遗传算法线性反馈移位寄存器
- 可信计算平台测评理论与关键技术研究被引量：13
- 2010年
- 可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结果表明,该方法发现了现有TCG可信计算平台在设计体系上存在着一些缺陷,同时也发现了若干现有可信计算平台产品存在的缺陷,为可信计算平台技术及产品的改进和发展提供了依据.
- 张焕国严飞傅建明徐明迪杨飏何凡詹静
- 关键词：信息安全可信计算可信计算平台
