刘威鹏
- 作品数：10 被引量：85H指数：5
- 供职机构：中南大学物理与电子学院更多>>
- 发文基金：湖南省自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论电子电信电气工程更多>>
- 基于非传递无干扰理论的二元多级安全模型研究被引量：14
- 2009年
- 提出了一个新的基于非传递无干扰理论的二元多级安全模型,其分别依据BLP和Biba模型的思想保护信息的机密性和完整性。为增强模型的实际可用性,引入了机密性可信域和完整性可信域,其在机密性检查室和完整性检查室内对违反安全策略的操作进行检查。基于信息流的非传递无干扰理论对于该模型进行了严格的形式化描述,并证明了其安全性,近一步讨论了其在Linux操作系统中的实现和在实际中的应用。该研究对于国家信息内容安全基础设施中敏感信息的保护具有一定的理论和实用价值。
- 刘威鹏张兴
- 关键词：BLP模型BIBA模型
- 基于ARM和ZigBee的WSN节点设计与实现被引量：15
- 2010年
- 设计一种基于ARM和ZigBee技术的WSN硬件节点,并根据该硬件平台的特性,有裁减地移植实现了Microchip ZigBee协议栈。对节点的性能进行组网测试,结果表明所设计的节点达到了无线传感器网络的设计要求,并具有良好的可扩展性和移植性,可以为工程应用和实验教学提供基础平台。
- 李长庚刘威鹏胡纯意侯铮
- 关键词：ZIGBEE技术协议栈可扩展性移植性
- LSM框架下可执行程序的强制访问控制机制被引量：10
- 2008年
- 分析LSM框架的基本设计思想和Linux系统上原有的可执行程序访问控制机制存在的问题,在此基础上讨论在LSM框架下可执行程序强制访问控制机制的设计。作为验证,基于Linux2.6.11内核实现了一个可执行程序强制访问控制系统原型,对如何在操作系统中实现可执行程序的强制访问控制具有指导意义。
- 刘威鹏胡俊吕辉军刘毅
- 关键词：LSM框架强制访问控制可执行程序
- 基于FPGA的WSNs低功耗节点设计与实现被引量：3
- 2012年
- 基于FPGA结构灵活、可编程性强,具有强大的并行数据处理能力等优点,采用低功耗的Zig Bee技术对无线传感器网络(WSNs)节点进行软硬件设计。植入Nios系统和相关的IP核到芯片EP1C12Q240C8中,协同具有多种工作模式的CC1100射频芯片,实现节点的功能,并进行了功耗测试及比较。结果表明:节点功耗低,具有良好的可扩展性和移植性,达到了WSNs节点设计的要求,可用于工业生产。
- 李长庚卢浩昌潘雪伦刘威鹏
- 关键词：无线传感器网络现场可编程门阵列CC1100
- 基于可信计算平台的用户身份认证研究被引量：3
- 2009年
- 保证登录用户身份的真实性是保证可信计算平台(TCP)"值得信任"的前提。将身份认证技术应用于可信计算平台,形式化描述了可信计算平台用户身份认证模型。在Linux PAM框架下对模型进行了验证,实现了一个基于UsbKey的可信计算平台身份认证系统。
- 李勇李勇王飞
- 关键词：可信计算平台身份认证PAM
- 基于ARM与ZigBee的无线传感器网络节点的研究
- 无线传感器网络/(WSN/)作为一个综合了多学科内容的全新领域,成为了目前IT领域内的研究热点之一。无线传感器网络和ZigBee技术有着广泛的应用前景。WSN节点是无线传感器网络功能的具体执行单元,通过相应的软件协议驱动...
- 刘威鹏
- 关键词：无线传感器网络ZIGBEEARM协议栈
- 文献传递
- 电力谐波实验台研究与设计
- 2010年
- 电力谐波实验台是一种通过模拟实际电网中产生的谐波电流并对其进行实时抑制的实验装置。该实验装置采用公共基础台+功能挂件的设计方式,结构紧凑,集成度高,扩展性好,能够完成电力谐波的产生、在线检测、分析、有源滤波等多项实验。装置软件实现由DSP控制器和上位机两部分组成。DSP控制器采用自适应滤波理论的单神经元电力谐波动态检测算法和滞环控制算法实现系统的补偿。上位机负责计量、监测、显示、储存等功能,是实验装置虚拟仪器的核心部分。该装置系统具有较高的教学使用和科研价值。
- 侯铮危韧勇刘威鹏
- 关键词：谐波抑制实时性DSP控制器
- 基于可信计算的终端安全体系结构研究与进展被引量：20
- 2007年
- 基于可信计算的终端安全体系结构研究是当前信息安全领域研究的新方向。本文首先对可信计算的关键模块TPM以及若干关键技术进行了深入的分析,而后概述了几个典型的基于可信计算的终端安全体系结构,最后讨论了当前体系结构研究存在的问题和今后的研究方向。
- 刘威鹏胡俊方艳湘沈昌祥
- 关键词：可信计算终端
- 应用可信传递模型研究被引量：4
- 2007年
- 应用、服务等操作是终端用户日常工作的基础,如何保证它们能够是安全、可信的行为,是当前信息安全研究的一个热点和难点。文章利用可信计算的观点建立终端的应用可信传递模型,能够保证信任在应用环境中的传递。该模型能够不依赖于对病毒特征的检测,彻底地防止恶意代码在应用环境中的感染和传播,从根本上保障应用、服务的可信,保障终端应用环境的可信。
- 王飞刘威鹏沈昌祥
- 关键词：恶意代码
- 设计和实现基于UsbKey的透明加解密文件系统被引量：13
- 2008年
- 加密文件系统是在操作系统级保护系统和防止用户敏感数据泄漏的一种有效手段。首先对几个著名的加密文件系统地进行了分析,并指出其在使用方式、密钥保护、配置管理以及性能方面存在的问题,而后从设计目标、系统组成、实现三个方面分析和讨论了一种基于UsbKey的透明加解密文件系统的实现方案,该方案基于Linux操作系统,使用UsbKey对于用户密钥进行安全存储和保护,并利用LSM(Linux Secure Module)机制,通过对于inode节点的读、写等关键操作的重定向,来实现文件的透明加解密的功能。本文对于Linux操作系统下的透明加解密文件系统的设计与实现具有一定的指导意义。
- 刘威鹏胡俊刘毅
- 关键词：USBKEY透明加解密LINUX安全模块
