排序方式: 共有10条查询结果,搜索用时 15 毫秒
1
1.
虚拟化技术和证明技术相互依赖,只有两者相互结合,才能为安全系统奠定坚实的基础。首先给出在开放环境下使用证明技术建立信任关系需要解决的问题,然后提出一种支持远程证明的安全体系架构Sec_TV,讨论该架构如何结合虚拟化和证明技术来增强系统的安全性,并给出Sec_TV下远程证明协议设计,最后,从Sec_TV体系架构本身及Sec_TV远程证明协议两个方面讨论这个远程证明体系架构的安全性。 相似文献
2.
在当今“万物互联”的时代,嵌入式系统逐渐成为接入云端的重要组件,常用于安全和隐私敏感的应用或设备中.然而,其底层软件(即固件)也在频繁遭受着安全漏洞的影响.由于嵌入式设备底层硬件平台的复杂异构,软硬件实现差异较大,且其专用性强、源码/文档等往往不会公开,加之其运行环境受限等原因,使得一些在桌面系统上运行良好的动态测试工具很难(或根本不可能)直接适配到嵌入式设备/固件环境中.近年来,研究人员逐渐开始探索基于二进制相似度分析技术来检测嵌入式设备固件中存在的已知漏洞,并且取得了较大的进展.围绕二进制代码相似度分析面临的关键技术挑战,系统研究了现有的二进制代码相似度分析技术,对其通用流程、技术特征、评估标准进行了综合分析和比较;然后分析并总结了现有二进制代码相似度分析技术在嵌入式设备固件漏洞搜索领域的应用;最后,提出了该领域应用仍然存在的一些技术挑战及未来的一些开放性的研究方向. 相似文献
3.
4.
我国可再生能源资源潜力大,在未来的能源供应中可以形成举足轻重的地位;因此发展可再生能源对实现我国国民经济可持续发展和环境保护有重要意义.然而我国可再生能源发展面临多种问题,文章综合分析了各种可再生能源在我国的应用现状,并根据不同种类可再生能源的特点,讨论了其存在的问题和应用的障碍,并提出了相应的促进可再生能源应用的建议. 相似文献
5.
6.
7.
8.
为增加模糊测试工具对程序的感知能力,提高样本变异效率,有效提高代码覆盖率,在原有基于覆盖率反馈基础上,提出一种结合污点分析技术的混合模糊测试样本生成手段。利用污点分析感知程序中对魔数、哈希、类型数据字段的格式检验,辅助样本生成;采用共享生成样本的方式,与传统模糊测试工具相结合实现混合模糊测试;基于以上思路,实现混合模糊测试工具taintfuzz,对现实使用的图像和音频解析程序(audiofile、exiv2、libav)进行测试,挖掘到多个漏洞,以此申请到5个CVE编号。测试结果表明,taint fuzz能够有效减少对初始样本的依赖,提高代码覆盖率和漏洞触发数。 相似文献
9.
10.
塔式起重机是城市建筑施工中使用最多的起重机械,也是发生重、特大事故最多的起重机械,因此,对于在建筑施工中使用塔式起重机的施工企业,正确、安全使用塔式起重机,实现安全生产,是提高企业经济效益的根本保证.通过对几起塔式起重机事故的剖析,指出了事故发生的根源,提出了安全生产的具体措施,对建筑施工企业预防事故及安全生产有警示和指导作用. 相似文献
1