一种多项式时间的路径敏感的污点分析方法

提出了一种解决静态污点分析方法在进行路径敏感的分析时面临的路径爆炸的问题的方法.该方法将污圹点分析问题转化为加权下推自动机的广义下推后继问题,进一步利用污点数据在程序中的可达性,减少后续分析中需要精确执行的路径数.从而该方法能够以多项式的时间复杂度实现程序状态空间遍历,并能在发现程序违反安全策略时自动生成反例路径.设计实验使用该方法对击键记录行为进行了刻画,对恶意代码程序和合法软件进行了两组分析实验,并与现有的方法进行了对比分析.实验证明本文的方法可以有效地对具有较多分支的程序进行路径敏感的污点分析,同时具有较小的时间复杂度和空间复杂度     

开源片上系统Freedom E310调试过程原理分析

Freedom E310是第一款基于RISC-V指令集架构的开源商业片上系统,可以依据具体应用场景对其进行深度定制,在介绍Freedom E310中与调试有关的模块、地址空间、控制状态寄存器之后,从原理上分析了halt、resume、step、断点设置等调试指令的实现过程.     

开源硬件描述语言Chisel的组合电路设计 ※

Chisel是加州大学伯克利分校研究人员设计并发布的一种开源的硬件设计语言,已成功用于实现多种处理器,在介绍Chisel基本概念的基础上,通过一个组合电路设计示例和一个时序电路设计示例,说明应用Chisel进行数字电路设计的主要流程.     

一种面向片上系统的多任务映射方法*

片上系统的研究在当代已经有了较快的发展,软件任务映射方法是一个研究热点。单任务的映射方法已经得到了深入的研究,但是很少在文献中见到关于对多任务映射的研究。本文在单任务映射的基础上提出了基于实际硬件平台的多任务组合映射方法,通过实际的硬件平台得到准确的实测数据来支持任务的合理映射。该方法可以快速找出最优的多任务组合映射方法,使任务完成总时间和功耗最优化。     

基于魔方算法的自动信任协商敏感信息传输方案

为解决自动信任协商(ATN)过程中在不安全物理信道上传输证书及其他资源的问题,提出一个基于魔方算法的敏感信息传输方案。协商发起方根据魔方算法把自己的请求或资源变换成一个变换序列,并在其后添加数字摘要产生信息变换序列。然后按表示协商成功条件的证书逻辑表达式把信息变换序列乱序成信息传输序列,再发送给协商接收方;协商接收方用自己的证书进行反向变换后得到请求或资源。该方案具有单轮证书交换、较小的网络开销等特性。实验结果表明,该方案具有较好的可行性,较高的安全性、效率与信息传输量。     

OCR在大数据量文档处理系统中的应用

OCR技术在文档数据的大数据量 (如人口普查 ,考卷处理 )处理领域中的应用越来越广。本文对于这种应用特点进行了一般介绍。实际应用中 ,处理过程必须满足对大数据量的质量和速度要求。本文针对文档表格的设计 ,图像的定位 ,图像字符分割和识别所要注意的问题进行讨论并提出处理方案。最后 ,针对不同的数据结果精度的要求 ,提出了后续处理的原则和方法。     

主机网络安全及其关键技术研究

主机网络安全是计算机安全领域新兴的边缘技术,它综合考虑网络特性和操作系统特性,对网络环境下的主机进行更为完善的保护。文章提出了主机网络安全体系结构,并对其中的关键技术作了探讨。最后对主机网络安全的访问控制给出了实现方案。     

浅析域名系统安全保护工作

域名系统大家比较熟悉,它是一个全球的分布系统,有一个树型结构的空间。包括.cn、.com的系统。它的功能是提供一个分布式的点击查询服务,转变为IP地址。这个系统所提供的功能,从两个方面来看:第一方面从技术角度来看,目前互联网的应用越来越广泛,     

水资源论证中的两项关键水文技术

以水库为供水水源的建设项目在水资源论证过程中存在两个难点:供水水源的坝址来水量计算和供水能力论证.为解决以上问题,分别采用相应的水文计算和水利计算方法.文中通过对水文系列资料进行收集和代表性分析,并进行水文频率分析计算,能够推求供水水源的坝址来水过程,进而可以判断其供水能力;通过对供水水源的供水量分析,并确定兴利调节原则,进而进行供水水源兴利调节计算,可以判断供水水源为工程供水后是否仍有能力实现灌溉、发电等其它功能.     

黄河宁蒙测区水政执法的现状分析

文章分析了黄河宁蒙测区水政执法现状及存在问题,提出加强水政执法的具体措施。