李勇
- 作品数：3 被引量：6H指数：2
- 供职机构：北京工业大学计算机学院更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于可信计算平台的用户身份认证研究被引量：3
- 2009年
- 保证登录用户身份的真实性是保证可信计算平台(TCP)"值得信任"的前提。将身份认证技术应用于可信计算平台,形式化描述了可信计算平台用户身份认证模型。在Linux PAM框架下对模型进行了验证,实现了一个基于UsbKey的可信计算平台身份认证系统。
- 李勇李勇王飞
- 关键词：可信计算平台身份认证PAM
- 一种面向结构化保护的组件层次划分方法被引量：1
- 2011年
- GB17859-1999中要求四级以上安全操作系统必须实现结构化保护功能,而层次化方法是实现结构化保护的一个有效途径。基于可信计算思想,将可信根抽象为偏序集中的最小元,利用集合论中完全偏序集的相关知识,通过组件间的依赖关系,提出了一种组件层次划分方法,并证明了层次划分方法的完备性。进一步分析表明,该方法能有效应用于增强系统安全性的研究。
- 盖新貌沈昌祥李勇李勇
- 关键词：可信计算
- 基于访问行为的终端安全模型被引量：2
- 2010年
- 提出了基于访问行为的终端安全模型,将终端访问行为抽象为"主体"、"客体"、"操作"和"安全策略"4个要素,用形式化的方法讨论了4要素与访问行为可信的关系,在访问行为可信的基础上给出了终端安全判定定理,并进一步讨论了模型实施过程中的关键问题.
- 李勇李勇王飞那宝玉
- 关键词：终端安全无干扰
