公共文化服务平台

严飞: 作品数：63 被引量：511H指数：9; 供职机构：武汉大学更多>>; 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术电子电信理学文化科学更多>>

合作作者

可信计算研究进展被引量：139: 2006年; 可信计算是信息安全领域的一个新分支.文中阐述了可信计算技术与理论的最新研究进展.通过分析可信计算技术的发展历史与研究现状,指出了目前可信计算领域存在理论研究滞后于技术发展、部分关键技术尚未攻克、缺乏配套的可信软件系统等问题,提出了值得研究的理论与技术方向,包括:以可信计算模型、信任理论等为代表的可信理论基础,以可信计算平台体系结构、可信网络、可信软件工程、软件信任度量技术等为代表的可信计算关键技术.; 张焕国罗捷金刚朱智强余发江严飞; 关键词：计算机可信计算安全计算机信息安全

IaaS下虚拟机的安全存储和可信启动被引量：3: 2014年; 针对大多数现有技术主要依据可信硬件来保护虚拟机(VM,virtual machine)运行平台的安全,而缺乏对VM安全存储和可信启动保护的问题,提出了一种解决在云平台基础设施服务策略(IaaS,Infrastructure as a Service)下VM的安全存储和可信启动(SSTL,secure storage and trusted launch)方案.根据可信平台模块(TPM,trusted platform module)的一些核心功能,分别从VM镜像加解密、VM宿主平台信息的远程证明和VM度量机制来保证VM存储安全、VM运行环境的安全以及VM可信启动.实验测试与分析表明该系统能够防止非授权启动VM,并能检测针对VM的系统服务描述符表(SSDT,system services descriptor table)以及Kernel Module等系统核心模块攻击.并且对原有系统的性能损耗在允许范围之内,不影响用户的正常使用.; 王庆飞严飞王鹃王涛石翔; 关键词：虚拟机远程证明

HyperSpector:基于UEFI的VMM动态可信监控基的设计与实现被引量：2: 2016年; 随着计算机技术的高速发展,云计算这一计算模式得到迅速推广。尽管可通过VMM来对云服务安全状态进行监控与安全增强,但VMM自身的安全性往往是安全的前提。为了增强VMM的安全性,提出一种基于UEFI的VMM动态可信监控基的设计与实现方法,通过UEFI的固件运行特性,在VMM下增加一层安全监控层,实现在不增加新硬件成本的前提下对VMM的透明监测。实验表明,所提出的监控方案是安全有效的。; 王锴李志华黄凡严飞; 关键词：云计算可信计算虚拟机监控器

一种针对云平台虚拟机度量的主动远程证明方法: 本发明提供一种针对云平台虚拟机度量的主动远程证明方法，包括远程证明客户端主动操作过程和云管理端的服务器可信验证过程，在云平台虚拟机启动后进行静态度量和运行后周期性的动态度量，度量完成后，进行主动的远程证明，云管理端获得度...; 王鹃周司珺王江严飞赵波张焕国; 文献传递

一种基于SGX的图片验证码保护方法及系统: 本发明公开了一种基于SGX的图片验证码保护方法及系统，本发明从两个方面实现基于SGX的图片验证码保护，一方面为SGX终端模块的存储保护，包括图片数据导入模块，图片数据随机乱排模块，隐写模块，混沌序列加密模块，混沌序列解密...; 严飞王斐刘大全

面向第三方的云平台可信性在线评测及分析技术被引量：1: 2019年; 云计算的服务模式对用户数据安全产生的严重威胁,必须通过第三方对云计算是否可信进行评测,才能保障云计算产业的健康发展。由此,总结了国家高技术研究发展计划课题“面向第三方的云平台可信性在线评测及分析技术”的研究内容与成果,描述了从云平台可信评测模型与体系结构、可信性动态评测技术、可信证据收集及可信测试机制、可信性的多维量化评估方法、评测原型系统与工具集5个方面的研究工作,并对云平台的可信性进行评测。; 赵波李想李想张立强严飞; 关键词：可信计算评测模型

可信平台模块测试装置: 本发明提供了一种可信平台模块测试装置，包括：基本信息测试系统，用于测试不同可信平台模块的基本信息，所述可信平台模块的基本信息包括基本属性检测功能和功能覆盖率；密码服务测试系统，用于测试可信平台模块作为安全芯片的基本密码功...; 张焕国严飞徐士伟傅建明李小菲汤梅向爽; 文献传递

自主可控的可信计算关键技术及应用: 张焕国赵波严飞王鹃余发江张立强王后珍王张; 所属科学技术领域：信息安全技术(学科代码-52070)。主要内容：自主可控是中国增强网络空间安全的前提，可信计算是建立自主可控的重要途径。为此该项目以国家需求为导向，以服务地方为己任，针对芯片、PC、移动终端、云计算...; 关键词：; 关键词：云计算系统服务器

基于ARM指针认证的信息流控制系统被引量：2: 2021年; 为了解决物联网设备中的安全隔离和隐私数据泄露问题,对类Unix操作系统线程中的信息流控制进行研究,基于ARM指针认证的硬件安全扩展和分散式信息流控制模型,通过对线程添加安全标签和完整性标签,实现进程地址空间的细粒度安全隔离,内存共享保护和安全多线程;通过内核安全原语和安全检查钩子有效防止线程间未授权的数据访问。实验结果表明,基于硬件辅助的信息流控制系统可以获得显著的性能提升,原型系统在实际的物联网程序用例(OpenSSL和Apache HTTP服务器)中,运行时内存占用增加了210 kB,平均性能开销不超过3.66%。; 张立强陈青松严飞; 关键词：隐私保护

基于最小测试集的可信PC信任链测试系统: 本发明提供了一种基于最小测试集的可信PC信任链测试系统，包括：可信平台模块、可信度量根核、基本输入输出系统、系统启动加载器、操作系统平台，所述可信平台模块和所述基本输入输出系统作为硬件芯片安装在该可信PC信任链测试系统中...; 张焕国严飞徐明迪杨飏宋利华王莉张雨; 文献传递