您的位置： 专家智库 > >

陈小峰

作品数：7 被引量：1H指数：1
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 4篇专利
  • 2篇会议论文
  • 1篇学位论文

领域

  • 3篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇有限状态机
  • 3篇状态机
  • 3篇密码
  • 3篇密码模块
  • 3篇可信计算
  • 3篇可信密码模块
  • 3篇可信平台模块
  • 3篇扩展有限状态...
  • 2篇信任
  • 2篇日志
  • 2篇审计
  • 2篇审计方法
  • 2篇系统日志
  • 2篇符合性
  • 2篇符合性测试
  • 2篇安全审计
  • 2篇测试系统
  • 2篇测试用例
  • 2篇测试用例生成
  • 2篇测试用例生成...

机构

  • 7篇中国科学院软...
  • 1篇北京航空航天...

作者

  • 7篇陈小峰
  • 5篇冯登国
  • 3篇李昊
  • 2篇张立武
  • 2篇初晓博
  • 2篇张敏
  • 1篇马丽娟

传媒

  • 1篇第二届中国可...
  • 1篇第三届可信计...

年份

  • 2篇2010
  • 1篇2009
  • 2篇2008
  • 1篇2007
  • 1篇2006
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
系统日志的安全审计方法
本发明属于计算机技术领域，涉及一种系统日志的安全审计方法，在基于可信计算的虚拟平台上创建系统日志和访问系统日志。本发明借助于可信平台模块这个硬件信任根，系统日志的创建过程都是在本地以可信的方式创建的，可以将以前对服务器的...
冯登国陈小峰张立武
文献传递
基于可信平台的安全审计日志
任何的安全系统,审计日志都是非常重要的一部分.因此必须保护好审计日志,保证审计日志的保密性和完整性.安全审计日志机制就是为了保护日志系统自身的安全性的,Schneier和Kelsey提出了一种机制来实现日志的防篡改,可以...
陈小峰马丽娟冯登国
文献传递
一种可信密码模块的测试用例生成方法及其测试系统
本发明公开了一种可信密码模块的测试用例生成方法及其测试系统，属于计算机技术领域。本发明的方法为：在可信密码模块划分的子系统内部进行建模，生成该子系统的扩展有限状态机，然后通过扩展有限状态机生成测试用例；本发明的测试系统包...
陈小峰冯登国张敏初晓博李昊
文献传递
可信密码模块符合性测试方法与实施
提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类...
李昊冯登国陈小峰
关键词：可信密码模块符合性测试扩展有限状态机
文献传递
一种可信密码模块的测试用例生成方法及其测试系统
本发明公开了一种可信密码模块的测试用例生成方法及其测试系统，属于计算机技术领域。本发明的方法为：在可信密码模块划分的子系统内部进行建模，生成该子系统的扩展有限状态机，然后通过扩展有限状态机生成测试用例；本发明的测试系统包...
陈小峰冯登国张敏初晓博李昊
文献传递
可信平台模块分析与测试技术研究
在可信计算平台的体系结构中，可信平台模块的基础性地位决定了其在可信计算平台的研究中居于中心的地位。本文对可信平台模块中可信机制特别是隐私性保护机制进行了详细的分析，并以可信平台模块作为建模的对象，对其进行形式化分析，探讨...
陈小峰
关键词：可信平台模块可信计算平台符合性测试直接匿名证明
系统日志的安全审计方法
本发明属于计算机技术领域，涉及一种系统日志的安全审计方法，在基于可信计算的虚拟平台上创建系统日志和访问系统日志。本发明借助于可信平台模块这个硬件信任根，系统日志的创建过程都是在本地以可信的方式创建的，可以将以前对服务器的...
冯登国陈小峰张立武
文献传递
全选 清除 导出
共1页<1>
聚类工具0