您的位置: 专家智库 > >

阮富生

作品数:3 被引量:0H指数:0
供职机构:北京工业大学计算机学院更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 3篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇移动存储设备
  • 1篇硬盘
  • 1篇密钥管理
  • 1篇接入
  • 1篇接入认证
  • 1篇可信平台控制...
  • 1篇控制模块
  • 1篇BLP模型
  • 1篇存储环境
  • 1篇存储设备

机构

  • 3篇北京工业大学
  • 1篇陆军航空兵学...

作者

  • 3篇阮富生
  • 2篇王博
  • 2篇刘智君
  • 1篇王冠
  • 1篇苑飞

传媒

  • 1篇微计算机信息
  • 1篇2010年第...

年份

  • 3篇2010
3 条 记 录,以下是 1-3
排序方式:
基于TPCM的可信硬盘密钥管理
针对TCG(trusted computing group)可信存储规范中存在的口令验证的弱鉴别性和密钥存储保护机制不明确的问题,提出了基于TPCM(trusted platform controlmodule)的可信硬...
王冠王博阮富生刘智君
关键词:可信平台控制模块密钥管理
文献传递
基于TPCM移动存储设备可信接入认证的研究
随着计算机制造技术和应用技术的不断发展,U盘、移动硬盘等移动存储设备的购置成本不断降低,由于其体积小、容量大、携带方便、不易损坏等特点而越来越受到大家的青睐。移动存储设备作为一种方便快捷的数据存储、传输工具,在国家部门、...
阮富生
文献传递
在可信存储环境下对BLP模型的改进
2010年
BLP模型是最早、也是最著名的一种计算机多级安全模型,但是其并不完全适用于实现可信存储要求的安全场合。因此,文章在可信存储环境下对BLP模型进行了改进。改进的BLP模型是专门针对可信存储应用场合定义的二级安全模型,其更适合于实现可信存储要求,其也是对可信存储环境下安全需求的形式化描述。
刘智君阮富生王博苑飞
关键词:BLP模型形式化描述
共1页<1>
聚类工具0