唐为民
- 作品数：6 被引量：12H指数：3
- 供职机构：北京交通大学计算机与信息技术学院更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划长江学者和创新团队发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于移动可信平台模块的通用PC机系统可信增强
- 为了提高终端安全性能,提出并实现了移动可信平台模块(RTPM)和在其支持下的通用PC机系统可信增强架构及原型设计方案.RTPM通过USB接口与计算机平台连接,可接管启动控制权对后续启动的系统进行可信度量。该架构以RTPM...
- 唐为民高兰彭双和韩臻沈昌祥
- 关键词：可信计算USB接口
- 文献传递
- 基于移动可信平台模块的通用PC机系统可信增强被引量：3
- 2009年
- 为了提高终端安全性能,提出并实现了移动可信平台模块(RTPM)和在其支持下的通用PC机系统可信增强架构及原型设计方案.RTPM通过USB接口与计算机平台连接,可接管启动控制权对后续启动的系统进行可信度量.该架构以RTPM为支撑实现完整的系统可信引导,将可信计算机制扩展到操作系统和应用层,在不改变PC机硬件结构和通用计算机基本输入输出系统的情况下构建可信计算环境,为终端安全技术手段提供基础支撑,具有很强的实用性.
- 唐为民高兰彭双和韩臻沈昌祥
- 关键词：可信计算可信平台模块可移动
- 应用BLP模型对PostgreSQL进行安全增强被引量：3
- 2004年
- 文章讨论了应用BLP模型公开源码数据库PostgreSQL进行安全增强、实现安全数据库原型系统的原理与技术细节。文中概括介绍了BLP模型原理及PostgreSQL软件结构,详细阐述了原型系统安全标识实现、PostgreSQL系统原有数据字典的改造、DDL和DML语言的改造,并介绍了多级关系的分解与恢复算法。
- 刘欣唐为民沈昌祥
- 关键词：安全数据库BLP模型数据字典
- 一种基于角色的强制访问控制模型被引量：6
- 2010年
- 提出了RBMAC模型,将BLP、BIBA和RBAC融合.RBMAC模型以组织机构的层次化结构描述信息类别和用户角色,以文件处理过程的关键节点描述完整性级别,引入可信主体、任务、角色扮演者和角色聘请的概念,满足重要信息系统的访问控制需求.文中给出了RBMAC模型的形式化描述和安全性定理,提出了模型预定义、任务分配、角色聘请和安全级别匹配4个阶段的操作模式.模型以可信主体调整文件保密级别、完整性级别和信息类别,与重要信息系统的管理运行模式一致,经实际系统试验证明,具有较高的实用性.
- 唐为民彭双和韩臻沈昌祥
- 关键词：访问控制BLP模型BIBA模型RBAC模型
- 基于可信计算平台的代码安全审查模型
- 没有对可执行代码进行严格安全审查是当前PC机上恶意代码泛滥的根本原因。提出一个可以在可信计算平台上实现的代码安全审查模型，该模型首先建立初始时刻系统中所有可信代码的完整性特征列表，在系统运行过程中对所有待执行的代码进行完...
- 陈泽茂唐为民周立兵柳景超沈昌祥
- 关键词：代码安全可信计算安全操作系统安全审查
- 文献传递
- 异步128位AES算法的硬件设计
- 2009年
- 基于四相握手协议设计异步流水线,实现单轮运算内流水操作,设计轮运算启动模块和异步控制信号生成模块,满足算法多轮运算的需要。在子密钥生成模块、字节替代模块和列混合模块使用复用技术,降低了对硬件的需求。在COMS0.18μm工艺下进行综合、布局布线和仿真,与采用同样数据路径设计方法的同步电路相比,吞吐率提高了12.5%。
- 崔亚磊唐为民戴紫彬
- 关键词：AES算法异步
