庞飞
- 作品数:19 被引量:54H指数:4
- 供职机构:中国电子科技集团第三十研究所更多>>
- 发文基金:四川省科技计划项目更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 身份认证技术及其发展趋势被引量:28
- 2009年
- 身份认证技术是信息安全的核心技术之一,其任务是识别、验证网络信息系统中用户身份的合法性和真实性。对认证技术作了简要介绍,并对新兴技术:基于量子的认证技术、基于身份的认证技术、思维认证、行为认证、自动认证作了详细的阐述。
- 周楝淞杨洁谭平嶂庞飞曾梦岐
- 关键词:量子密码身份认证
- 一种基于国产CPU的主动可信度量方法
- 本发明提供了一种基于国产CPU的主动可信度量方法。在确认BIOS可信的前提下,再由BIOS实施对关键硬件信息或操作系统核心文件的可信度量,可有效防止计算平台因BIOS被篡改而带来的安全问题。具备很高的物理安全防护特性,同...
- 冷冰庞飞张建辉王远强周楝淞
- 文献传递
- 可双向转换的并发性验证方法、系统、设备及存储介质
- 本发明公开了一种可双向转换的并发性验证方法、系统、设备及存储介质,其中方法包括:基于源码API信息与文档功能需求,整合出一种双分支映射的中间层规范;将中间层规范分别自动映射为抽象过程模型与源码级验证模型,进行并发属性验证...
- 庞飞谢小赋唐六华曾梦岐罗敏陈维彬李海波
- 一种磁盘擦除方法
- 本发明公开了一种磁盘擦除方法,具体是一种对磁盘存储的数据进行快速、安全清除方法。一种磁盘擦除方法,其步骤包括:第一步,向整个磁盘中写入任何一个随机数;第二步,向整个磁盘中写入RLL(1,3)编码;第三步,向整个磁盘中写入...
- 易涛杨林汪海良温柏龙庞飞
- 文献传递
- 基于国产处理器的可信计算平台构建方法被引量:5
- 2019年
- 计算平台作为信息基础设施的基本组成单元,一直是黑客攻击的重点。随着国产处理器性能的逐年提高,在中美贸易摩擦加剧的大背景下,我国关键信息基础设施将越来越多的选用国产处理器。使用国产处理器构建自主可控的计算平台将是一大趋势。通过分析采用国产处理器后可信边界的变化,提出了一种基于国产处理器的可信计算平台体系结构,分别给出了基于国产龙芯和飞腾CPU的典型软硬件参考设计,达到了不增加额外硬件成本,安全防护与计算并存的效果。
- 冷冰庞飞
- 关键词:可信计算处理器
- 一种改进的基于标识的认证系统的实现被引量:10
- 2009年
- 基于身份的认证体制是一种以用户的身份信息作为公钥的认证体制,文章提出了一种基于中间公钥和门限的IBE认证体制方案,解决了PKG密钥安全、用户身份认证和私钥的安全传输等问题,提高了IBE认证体制的安全性和实用性,并给出了系统的具体实现,就其安全性作了具体的分析。
- 周楝淞卿昱谭平嶂杨洁庞飞
- 关键词:信息安全交易安全IBE门限
- 可信运行控制软件形式化设计与验证被引量:1
- 2022年
- 可信运行控制软件作为可信计算平台中提供可信度量服务的关键软件,其自身设计是否安全可信,是可信计算平台安全运行的基础。为保证该软件设计安全可信,基于形式化模型检验基本理论,提出了软件形式化设计框架,研究了抽象行为、安全属性和代码功能正确性建模验证方法,开展了可信运行控制软件形式化设计与验证。验证结果表明,采用形式化设计方法,能够有效地解决软件设计缺陷和安全漏洞,保证软件设计与实现的正确性、安全性与一致性。
- 庞飞唐六华谢小赋郝尧
- 关键词:形式化方法可信计算平台漏洞
- 可双向转换的并发性验证方法、系统、设备及存储介质
- 本发明公开了一种可双向转换的并发性验证方法、系统、设备及存储介质,其中方法包括:基于源码API信息与文档功能需求,整合出一种双分支映射的中间层规范;将中间层规范分别自动映射为抽象过程模型与源码级验证模型,进行并发属性验证...
- 庞飞谢小赋唐六华曾梦岐罗敏陈维彬李海波
- 文献传递
- 基于HMM-CBOW行为模型的动态可信度量系统设计
- 2022年
- 针对静态可信度量系统难以检测软件运行过程中的异常行为,无法保证软件动态运行安全可信等问题,通过对软件序列行为模型进行分析,提出了一种基于HMM-CBOW行为模型的软件动态可信度量系统设计方案。该方案采用软件行为静态分析与短序列动态划分相结合的方法,构建出细粒度的行为基线库,通过对运行行为的动态监控与可信评估,实现了对软件的动态可信度量功能,能够确保软件运行过程安全可信。最后,通过实验表明:相对于传统N-gram模型的可信度量系统,基于HMM-CBOW行为模型具有较高的可信评估准确率与较低的时延。
- 庞飞唐六华谢小赋
- 一种国产操作系统可信安全增强方法
- 本发明提供了一种国产操作系统可信安全增强方法。本发明针对国内目前安全操作系统的安全问题,将安全操作系统技术与可信计算技术有机的结合起来,实现紧耦合,充分利用可信平台控制模块(TPCM)提供的可信度量、可信存储和可信报告机...
- 庞飞冷冰张毅黄沾龙飞宇
- 文献传递