控制流

摘要： 无文件恶意软件攻击对企业的威胁越来越大,且当前很少有人关注。本文将详细探讨该类攻击,以及应对之策。多年来,软件行业在消除无文件攻击方面做出了许多努力,但是仍旧无法彻底解决这类攻击。其中,无文件恶意软件(Fileless Malware)通过利用缓冲区溢出漏洞劫持正在运行的应用程序的控制流,从而发起零日攻击。尽管各种类型的网络攻击(例如注入和跨站点脚本攻击)引起了广泛关注,但无文件恶意软件仍然是当今最危险的网络威胁,当前很少有人关注。

摘要： 针对环锭纺纱工艺流程长、纤维形态变化大、生产连续性与离散性混合,生产过程中数据流和控制流的关系多样复杂等问题,深入研究了环锭纺纱信息物理生产系统构架.先根据信息物理系统的"计算、通信、控制"特征,定义了环锭纺纱信息物理生产系统;在此基础上分析了环锭纺纱信息物理生产系统的纤维流、数据流和控制流,提出"纤维流-数据流-控制流"融合的环锭纺纱信息物理生产系统模型.然后,基于模型的系统工程方法,采用SysML建模语言建立环锭纺纱信息物理生产系统需求和局部用例模型以及对"纤维流-数据流-控制流"融合建模.研究结果表明,提出的建模方法能有效建立环锭纺纱信息物理生产系统模型,并对环锭纺纱生产智能化具有一定的借鉴意义.

摘要： 由于现有的Python程序混淆算法没有设计不透明谓词的插入结构,因此很难长时间抵抗控制流分析的攻击,为提高Python程序的安全性,对其进行优化设计。加密Python程序混沌映射,提高混淆算法的无规律性,设计混淆算法不透明谓词结构,加大控制流分析解析算法结构的时间,使其提高对控制流分析的抵抗能力,设计抵御控制流分析的算法流程。在实验中将现有的两种混淆算法与该算法相对比,计算三种算法在混淆前后的圈复杂度,并计算其圈复杂度百分比,以判断算法抵御控制流分析的能力。通过实验结果可知,该算法混淆前后的平均圈复杂度百分比为61.0%,较现有的两种算法低5.3%和5.4%。由此可见该算法拥有更出色的抵抗控制流分析的能力,能够更好地保护Python程序不受控制流分析的威胁。

摘要： 针对ARM程序高层代码混淆存在盲目性较强而降低混淆准确度,且很容易被逆向还原的问题.从ARM汇编指令底层研究ARM程序混淆,通过结合ARM架构指令系统的特点,基于模式切换提出一种ARM汇编代码混淆算法,包括指令模式切换混淆、寄存器随机分配混淆和虚假指令混淆,使混淆后汇编代码的控制流变得更加复杂,且对切换地址的寄存器混淆也提高了动态调试跟踪的难度.模式切换及虚假指令混淆也会造成反汇编错误,从复杂强度、逆向弹性和性能开销三方面进行测试评估.测试结果表明,该混淆算法不仅有效地提高了程序的控制流循环复杂度,而且能够抵抗反汇编工具的逆向分析.该混淆算法引发的额外体积开销和时间开销较低,具有实用性.

摘要： 由于现有的Python程序混淆算法没有设计不透明谓词的插入结构,因此很难长时间抵抗控制流分析的攻击,为提高Python程序的安全性,对其进行优化设计.加密Python程序混沌映射,提高混淆算法的无规律性,设计混淆算法不透明谓词结构,加大控制流分析解析算法结构的时间,使其提高对控制流分析的抵抗能力,设计抵御控制流分析的算法流程.在实验中将现有的两种混淆算法与该算法相对比,计算三种算法在混淆前后的圈复杂度,并计算其圈复杂度百分比,以判断算法抵御控制流分析的能力.通过实验结果可知,该算法混淆前后的平均圈复杂度百分比为61.0％,较现有的两种算法低5.3％和5.4％.由此可见该算法拥有更出色的抵抗控制流分析的能力,能够更好地保护Python程序不受控制流分析的威胁.

摘要： 近年来,互联网行业快速发展,安卓系统由于其开源的特点,成为了全球市场份额最多的操作系统.但也由于其开源性的特点,造成安卓应用软件恶意攻击的简易性,再加上目前安卓应用软件保护技术的不成熟,使得针对安卓应用软件的恶意攻击越来越多.厂商应对恶意软件攻击的方式简易,一般会在源码级别进行安全加固混淆,来防止恶意攻击,但由于Android中间代码产物过多,攻击者可对反编译产物smali代码进行随意篡改,即可在APP中植入恶意代码,这严重破坏了Android的安全性.为了解决这一问题,该文总结出一套可以防御smali代码篡改的混淆方法,对寄存器存储字符串类型的值进行加密混淆,并结合不透明谓词技术对其控制流进行混淆,还加入新的自定义逻辑来对APP的逻辑流进行混淆,让攻击者在反编译时发生异常并且无法获得正确的代码逻辑.从强度、开销、弹性三个方面对smali混淆方法进行有效性分析.实验结果表明,该方法可以对抗反编译的逆向分析.

摘要： 区域医疗协同管理概述区域医疗协同管理可以帮助医院实现控制流、信息流、资金流和物流的"多流统一",帮助医院建立起拥有会计、预算、物流、绩效等多层次管理手段的管理决策系统。同时,帮助医院管理人员实现管理平台化,从资源利用的使用计划、控制协调、激励评价等方面入手,提高对人力、物力、财力的利用效率。

摘要： 针对目前软件设计与实现一致性检测方法需要大量模板集,难以一般化的问题,提出一种基于控制流的软件设计与实现一致性分析方法.首先,将设计文档伪代码和程序源代码转换为具有相同特征的中间表示,从中间表示中分别提取设计特征和实现特征,特征包括能反映系统结构的函数调用关系和能反映函数内部结构的控制流信息;然后,根据设计特征和实现特征分别建立设计特征模型和实现特征模型;最后,通过计算特征相似度来度量特征模型的相似度,进而获取一致性检测结果.实验结果表明,所提方法在软件实现的函数调用关系与设计不一致时,能够正确检测不一致函数调用关系;而在软件实现的函数调用关系与设计一致时,能够正确检测函数内部结构的不一致情况,准确度达到了92.85％.该方法可以有效获取一致性检测结果,不需要模板集,具有更优越的一般性.

摘要： 近年来,随着移动应用的流行和普及,其被逆向、二次打包等的问题日益严重,恶意应用也越来越多,提出基于控制流和数据流的代码混淆算法,对移动应用分析其本身特性及它们之间存在的关联性,详细分析可变目标的编译器实现原理及代码,在语法分析及语义分析阶段,实现相应的代码迷惑算法,使编译出的程序在语法、控制流、数据流三个层次得到混淆.验证实验表明,所提算法可以实现对移动应用代码的高强度混淆,大大降低代码的可读性.

摘要： 面对控制流劫持攻击的威胁,业界使用控制流完整性保护技术保障进程的执行安全.传统的控制流完整性验证保护依赖于动态二进制改写技术,在分析、实施等过程中难度较大,且有可能带来二进制兼容的问题.本文通过研究近年提出的上下文敏感的控制流保护技术PathArmor,分析了其检测进程控制流的时机.然后针对PathArmor只在进程做系统调用时进行检测的机制,提出了改进的方法.该方法依据内核页错误中断处理机制,通过修改用户页面的保护属性主动触发可执行页面的执行错误;接着修改页错误中断处理过程,钩挂do_page_fault以处理主动触发的执行错误.用户进程代码和数据的完整性得以保证的同时,得到了更多陷入内核接受检查的机会.在Nginx、bzip2、SQLite等典型应用环境下实验的结果表明,改进的方法能够明显增加系统安全分析的粒度,更好地保护程序的控制流.

摘要： 本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。

摘要： 随着嵌入式系统的广泛应用,嵌入式软件系统的安全性问题逐步凸现,本文面向高安全性的嵌入式软件系统设计,借鉴DO-178B标准的分级思想,采用模型驱动方法,提出了一种基于AADL模型的嵌入式软件系统安全性分析方法,能够有效的对软件间交互的合法性进行一致性检查,实现对嵌入式软件系统数据流和控制流的安全性分析.

摘要： 针对邮政运输系统的复杂性、实时性、开放性要求,提出了邮政运输系统的分层体系架构,具备物理层、业务层、网络层、调度层、应用决策层五个层次.使得邮运系统得到了合理的分布式分解,降低了问题的复杂度,避免了问题复杂性的过分集中,且使得系统具备良好的扩展性,为邮政运输在不同层面上实现最优调度和实时调度提供了良好的技术支撑.结合该体系架构对邮运系统的控制流及数据流进行了实例分析。

摘要： 针对邮政运输系统的复杂性、实时性、开放性要求，提出了邮政运输系统的分层体系架构，具备物理层、业务层、网络层、调度层、应用决策层五个层次。使得邮运系统得到了合理的分布式分解，降低了问题的复杂度，避免了问题复杂性的过分集中，且使得系统具备良好的扩展性，为邮政运输在不同层面上实现最优调度和实时调度提供了良好的技术支撑。结合该体系架构对邮运系统的控制流及数据流进行了实例分析。

摘要： 提出了一个可以描述VHDL中对象和控制流的Petri Nets模型,对比了只支持控制流CFPN模型的描述能力,给出了VHDL中对象;信号、变量和数据类型对模型的影响,并以具体实例分析了两种模型的不同抽象结果.

摘要： 本发明公开了一种基于重构控制流图的控制流错误检测优化方法，目的是提供一种新的基于重构控制流图的控制流错误检测优化方法，解决检错效率不高等问题。技术方案是将源程序划分为基本块，构建基本块表，并基于基本块表构建程序控制流图，然后基于控制流图，划分逻辑块，构建逻辑块表，接着复制基本块，使得逻辑块相互独立，再根据配置要求均匀切割逻辑块，构建基本逻辑块表，最后基于基本逻辑块表，重构程序控制流图。基于重构的控制流图即可实现现有的控制流错误检测算法。采用本发明能够灵活配置基本块的划分，使得现有的控制流检错算法能够基于重构的控制流图直接应用，有效提高检错算法的效率。

摘要： 所公开的是用于硬件控制流施行的控制流传递的基于包的验证的方法和设备。所述方法和设备通过用于实施跳转的源包的第一标识符的确定实现控制流验证，其中所述确定是基于使用所述源包自身内的内容的计算的。类似地，第二标识符是基于使用所述源包所指向的目标包的内容的计算确定用于所述目标包的。所述标识符可以是基于所述包内容预先确定的，并且还可以涉及无运算指令的插入以确保基于所述包内容的计算产生所期望的标识符。随后可对所述标识符进行比较以确定它们是否匹配或兼容，并且如果它们不兼容，那么可以检测到无效控制流。

摘要： 本发明涉及用于控制流控回路中的流体流的方法和流控装置。提供了被动流控回路，用于引导不同的流体进入共同容积，而没有相互混合或交叉污染。穿过流控回路的连接点、结点和通道的流动方向和速率，由上游阀门的状态(例如打开或关闭)、在回路入口或上游蓄池处的液压差、流动通道阻力等控制。流体从未选择的入口向共同出口或在连接点或结点处的其它入口的自由扩散或渗漏，由选择的入口流体的流动来防止，所述入口流体的一部分扫过未选择的流体的入口，并从废物口离开流控回路，由此建立对抗因渗漏或扩散导致的与出口流的不希望的相互混合的屏障。在用于执行灵敏的多步骤反应、诸如基于pH的DNA测序反应的装置中，本发明是特别有利的。

摘要： 一种用于调试指定多个功能模块之间的控制流的可执行控制流图的计算机实现的方法，该控制流被表示为该多个功能模块之间的转换，该计算机实现的方法包括：指定该可执行控制流图中该可执行控制流图的执行将被中断的位置；其中，所指定的位置表示到给定功能模块的转换、到执行该给定功能模块的内容的状态的转换、或从该给定功能模块的转换；在执行环境中开始该可执行控制流图的执行；以及在表示该指定位置的执行点处，中断该可执行控制流图的执行；以及提供表示正在其中执行该给定功能模块的该执行环境的一个或多个属性的数据。

摘要： 用于生成用于包括至少两个图块的图块组的控制流的方法和控制流生成器，该控制流标识与渲染图块组中的至少一个图块相关的图元块。该方法包括：接收标识与渲染图块组中的至少一个图块相关的一个或多个图元块的信息，每个图元块包括一个或多个图元；生成用于所标识的图元块中的每一个的图元块条目；以及将每个图元块条目添加到控制流；其中生成用于所标识的图元块中的至少一个的图元块条目包括：(i)标识包围图元块的一或多个图元的边界框；(ii)生成覆盖掩码，该覆盖掩码指示图块组中与图元块的边界框相交的哪些图块对于图元块有效，如果图元块的至少一个图元至少部分地落在图块的边界内，则图块对于图元块有效；以及(iii)将覆盖掩码包括在图元块条目中。

摘要： 本发明公开了一种基于重构控制流图的控制流错误检测优化方法，目的是提供一种新的基于重构控制流图的控制流错误检测优化方法，解决检错效率不高等问题。技术方案是将源程序划分为基本块，构建基本块表，并基于基本块表构建程序控制流图，然后基于控制流图，划分逻辑块，构建逻辑块表，接着复制基本块，使得逻辑块相互独立，再根据配置要求均匀切割逻辑块，构建基本逻辑块表，最后基于基本逻辑块表，重构程序控制流图。基于重构的控制流图即可实现现有的控制流错误检测算法。采用本发明能够灵活配置基本块的划分，使得现有的控制流检错算法能够基于重构的控制流图直接应用，有效提高检错算法的效率。

摘要： 所公开的是用于硬件控制流施行的控制流传递的基于包的验证的方法和设备。所述方法和设备通过用于实施跳转的源包的第一标识符的确定实现控制流验证，其中所述确定是基于使用所述源包自身内的内容的计算的。类似地，第二标识符是基于使用所述源包所指向的目标包的内容的计算确定用于所述目标包的。所述标识符可以是基于所述包内容预先确定的，并且还可以涉及无运算指令的插入以确保基于所述包内容的计算产生所期望的标识符。随后可对所述标识符进行比较以确定它们是否匹配或兼容，并且如果它们不兼容，那么可以检测到无效控制流。

摘要： 本发明涉及用于控制流控回路中的流体流的方法和流控装置。提供了被动流控回路，用于引导不同的流体进入共同容积，而没有相互混合或交叉污染。穿过流控回路的连接点、结点和通道的流动方向和速率，由上游阀门的状态(例如打开或关闭)、在回路入口或上游蓄池处的液压差、流动通道阻力等控制。流体从未选择的入口向共同出口或在连接点或结点处的其它入口的自由扩散或渗漏，由选择的入口流体的流动来防止，所述入口流体的一部分扫过未选择的流体的入口，并从废物口离开流控回路，由此建立对抗因渗漏或扩散导致的与出口流的不希望的相互混合的屏障。在用于执行灵敏的多步骤反应、诸如基于pH的DNA测序反应的装置中，本发明是特别有利的。

摘要： 一种控制流与数据流解耦的消息服务方法，当客户端A向代理端发送发布请求，客户端B向代理端发送订阅请求时，代理端控制客户端A、B建立客户端A到客户端B的数据专用通道；客户端A与客户端B采用数据专用通道进行点对点数据传输，客户端A与客户端B之间的传输协议依据客户端设备的不同进行适配性替换。本发明将代理端仅控制客户端动态建立数据专用通道进行真实的点对点数据传输，有效降低数据时延，提高实时性，128字节的数据包时延仅是其十分之三左右，比Micro‑DDS通信中间件快3倍左右，并提供可移植性。

摘要： 本发明公开了一种基于控制流和数据依赖的多主体工作流重构方法，包括局部重构，对原始工作流建立工作流控制依赖图，提取工作流控制依赖图中所有的控制节点和工作流控制依赖性图的根，对于每个控制节点提取子工作流；对每个子工作流进行局部重构，得到初步重构工作流网络；将初步重构工作流网络通过流程挖掘算法转变成petri网络，通过流程挖掘算法构建新的petri网，得到重构后的工作流网络。通过本发明，可以在数据依赖上对工作流进行并行度优化，加入控制流后能够对重构效果有优化作用，对业务流程的运行效率和多主体工作流的重构有较大帮助。