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