刘昌平
- 作品数:7 被引量:106H指数:3
- 供职机构:电子科技大学更多>>
- 发文基金:国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 开放网络环境完整性按需度量模型被引量:3
- 2011年
- 完整性度量是可信计算的关键问题之一.首先分析了目前研究成果在开放网络环境下存在的问题及其原因.提出了一种开放网络环境下完整性按需度量模型.该模型由度量请求者根据具体要求定制完整性度量策略,完整性度量策略由程序指令度量策略和数据流度量策略组成,度量响应者根据度量策略来度量自身组件的完整性,并为每个度量请求构造相应的可信链实例.该模型动态地度量完整性,改善了度量结果的新鲜性,兼顾软件代码和用户数据的完整性度量,克服了度量目标的片面性.在该模型的基础上实现了远程证明及其原型系统,并在流媒体服务网络中进行实验测试,实验结果表明该模型以较低的资源开销解决了存在的问题,能够适应开放网络环境下完整性度量的要求.
- 刘昌平范明钰王光卫
- 关键词:可信计算远程证明访问控制
- 可信计算环境安全技术研究
- 可信计算(Trusted Computing, TC)是一种基于安全芯片(Trusted Platform Module, TPM)的信息安全技术,提高系统整体的安全性。平台状态证明(Attestation of the...
- 刘昌平
- 关键词:可信计算仿真平台可信网络
- 可信计算环境数据封装方法被引量:6
- 2009年
- 数据加解密、数据封装和数字信封是可信密码模块的三种数据安全保护方式。在可信计算环境下提出了一种数据封装方法。该方法将数据绑定于可信密码模块和特定的平台状态,使得受保护数据只能由特定用户在指定可信计算环境特定的平台状态下才能解密。实验表明,该方法在可信计算环境下以较小的代价实现了数据的封装,保护数据的安全性。
- 刘昌平范明钰王光卫
- 关键词:可信计算密码算法可信密码模块可信平台模块数据保密
- ESW-TPM:一种改进的TPM软件仿真器
- 介绍了一种Linux平台上TPM软件仿真器TPM-Emulator,这种仿真器运行于用户态空间,不支持多进程并发访问,在资源受限的计算平台下会导致性能瓶颈,资源竞争激烈时仿真器的性能显著下降。提出了一种改进的TPM仿真器...
- 刘昌平范明钰王光卫
- 关键词:可信计算密码算法软件仿真器并发访问
- 文献传递
- 基于梯度算法的支持向量机参数优化方法被引量:33
- 2008年
- 首先介绍最近出现的参数优化方法,概括了高效率的参数优化算法应具备的若干特点.然后提出了一种新的支持向量机参数优化方法.该方法先在局域内用混沌优化搜索局域最优点,再将此最优点作为梯度方向,通过改变局域范围跳出局部寻优区域.该方法降低了对性能函数连续且可微的要求,收敛速度快,最终优化解与支持向量机的参数初始值无关.最后,通过仿真实验表明了该方法具有更高的分类和回归准确率.
- 刘昌平范明钰王光卫马素丽
- 关键词:支持向量机梯度算法混沌参数优化
- Android手机的轻量级访问控制被引量:62
- 2010年
- Android手机与计算机建立连接之后,计算机能以root身份登录Android手机,会给手机的应用程序和用户数据造成安全隐患。以Android手机为平台,提出了一种适用于Android手机的访问控制方法,该方法在Android手机的内核中增加访问控制模块,并根据手机用户定制的访问控制策略来控制计算机对Android手机的文件访问。仿真实验表明,该方法以较小的性能代价实现了Android手机的文件访问控制,能有效地保护手机用户的应用程序和数据安全。
- 刘昌平范明钰王光卫郑秀林宫亚峰
- 关键词:访问控制手机操作系统可信计算基
- 可信链的随机进程代数模型
- 2010年
- 计算终端引导过程的可信链表现为顺序性,在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以随机进程代数为形式化描述语言,建立了一种可信链模型来描述计算终端运行过程的信任传递。该模型在随机进程代数的语法中扩展了完整性属性和完整性度量概率,建立了信任传递的语义规则,并提出了基于随机进程代数的可信链语义模型。该模型对于进一步研究可信链和计算终端的完整性具有一定的参考价值。
- 刘昌平范明钰王光卫
- 关键词:可信链可信计算随机进程代数形式化方法