基于控制流隐藏的代码迷惑

为了保护程序免受恶意攻击，确保软件的安全执行，提出了一种隐藏控制流图压平的代码迷惑方法。在已有的控制流图压平的基础上，引入分支函数和转移函数，建立了加强的压平控制流模型以防静态分析。本方案的安全性更多的是基于数据流，其模型是结构化且可扩展的，难以重构原始控制流图，所使用的单向函数不会静态的泄露任何控制流信息。若要理解程序控制流，攻击者必须对更大的代码段进行分析，能有效的防止静态逆向工程。     

双语法规则程序依赖性分析

为了提高传统程序依赖性分析的应用范围和灵活性,提出一种新的程序分析方法。该方法分为不完整性分析和完整性分析两部分。在gcc3.2和Linux内核2.4.20-8的编译环境下,利用不同的词法和语法分析模块对程序结构、数据依赖和控制信息进行提取,加快了程序分析的速度,并有效降低了程序数据流依赖分析和控制流依赖分析中算法的复杂度。最后用具体的程序实现证明了该算法的可行性。     

TTA流水线Petri网模型

Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.     

C＋＋反编译中控制流图优化方法研究

控制流分块是反编译系统中基本的功能之一。介绍了控制流分块方法,分析了C＋＋语言与C语言的区别。指出了现有的控制流分块方法用于C＋＋逆向的拿限性,提出了改进C＋＋逆向中流程分块的方法,给出了基于模块特征识别的算法,在部分开源架构中进行实验并取得了较好的效果。     

基于ARM7的人机接口模块设计

设计了一种基于ARM7的小电流接地故障选线装置的人机接口模块．说明了模块的结构和工作原理。硬件上给出了液晶接口电路和按键接口电路,分析了键盘和LED驱动芯片ZLG7290的工作原理;软件上采用结构化的程序设计方案,并结合工程要求,分层设计,逐步细化,来实现人机交互功能,同时对界面作了简单介绍。     

Java编程入门（三）

控制流语句 控制流语句是所有程序设计语言的重要组成部分。事实上,所有计算机程序的本质就是作出判断并根据这些判断完成相应的操作。程序进行比较并根据比较结果作出反应。这里讨论的控制流语句就是让程序作出判断并根据判断完成相应操作。 if...else语句 if...else语句允许代码对一个表达式进行测试并根据表达式的取值决定分支。如果布尔型表达式取值为真(true),计算机将执行官后面的语句;如果条件取值为假(false),计算机则不执行后面的语句。     

网络支付体系的安全性分析与研究

论文对网络支付体系的安全性进行了分析与研究,提出具有分层安全思想的支付认证模型。同时,论文也对网上银行和第三方支付这两种重要的网络支付体系进行了不同层面的安全性研究。     

面向进程控制流劫持攻击的拟态防御方法

为了防御进程控制流劫持攻击,从漏洞利用的角度对攻击过程建立了威胁模型,提出了截断关键漏洞利用环节的"要塞"防御.在研究拟态防御原理的基础上提出了进程的拟态执行模型,并对该模型进行了分析与有效性证明,拟态执行能够有效截断控制流劫持的攻击实施过程;实现了拟态执行的原型系统MimicBox,并对MimicBox进行了有效性验...     

数据驱动计算及其应用

数据驱动计算概述计算机体系结构可以分为控制流计算机和数据流计算机。控制流计算机又称为冯·诺依曼计算机,其程序的运算执行顺序是预先设置好的,按照编程者的控制(程序指针)逐条执行。现在实际应用的计算机都使用控制流机制,而数据流     

基于微分Petri网的业务流程模块适配方法

为适应业务流程多功能及动态变化的需求，用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础，提出了微分控制Petri网和微分数据Petri网的概念，分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测，利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析，以达到业务流程模块适配分析.理论分析结果表明，所建立的微分表达式能够反映模型活性与稳定性，模块适配效果较好.最后基于平台数据进行仿真分析，实验结果表明本文所提的方法有一定的可行性.     

LPC917在短波调制解调器中的应用

分析短波调制解调器中使用的XR2206的工作方式,指出其生成的频率不稳定的原因。这里用LPC917替代原系统调制端的XR2206和解调端的同步积分电路,详细介绍完成4FSK和同步积分运算的方法和过程,给出程序流程图和主要控制信号的时序示意图,并指出LPC917与XR2206相比具有成本低、性能高及可编程等方面的优势。经实践证明,本方案完全可行。     

无线遥控直流电机控制器的研制

文章在分析直流电机控制设备或装置控制要求的基础上,采用以ZX1527芯片为核的无线遥控器,设计分析控制协议,进行一种通用控制系统的方案设计,发现可采用不同直流电压供电的继电器控制系统框图,设计并分析单片机控制电路和输出驱动电路等核心功能电路,给出主程序和中断服务程序流程图,系统可通过软件实现无限位自动停机功能,产品经调试达到了设计要求。     

PLC在电梯自动控制上的应用

将PLC应用于电梯控制，克服了继电器控制的控制线路复杂、体积大、故障率高、难于维护等缺点，控制系统可靠性增强。本文分析采用PLC的优势对电梯进行实时控制，应用了梯形图语言的具体设计，并分析了电梯呼叫优先响应控制程序和开关门电机的控制程序。     

通过函数识别加强信息流跟踪技术

With the spread use of the computers, a new crime space and method are presented for criminals. Thus computer evidence plays a key part in criminal cases. Traditional computer evidence searches require that the computer specialists know what is stored in the given computer. Binary based information flow tracking which concerns the changes of control flow is an effective way to analyze the behavior of a program. The existing systems ignore the modifications of the data flow, which may be also a malicious behavior. Thus the function recognition is introduced to improve the information flow tracking. Function recognition is a helpful technique recognizing the function body from the software binary to analyze the binary code. And that no false positive and no false negative in our experiments strongly proves that our approach is effective.     

Control-flow checking by software signatures

This paper presents a new signature monitoring technique, CFCSS (control flow checking by software signatures); CFCSS is a pure software method that checks the control flow of a program using assigned signatures. An algorithm assigns a unique signature to each node in the program graph and adds instructions for error detection. Signatures are embedded in the program during compilation time using the constant field of the instructions and compared with run-time signatures when the program is executed. Another algorithm reduces the code size and execution time overhead caused by checking instructions in CFCSS. A "branching fault injection experiment" was performed with benchmark programs. Without CFCSS, an average of 33.7 % of the injected branching faults produced undetected incorrect outputs; however, with CFCSS, only 3.1 % of branching faults produced undetected incorrect outputs. Thus it is possible to increase error detection coverage for control flow errors by an order of magnitude using CFCSS. The distinctive advantage of CFCSS over previous signature monitoring techniques is that CFCSS is a pure software method, i.e., it needs no dedicated hardware such as a watchdog processor for control flow checking. A watchdog task in multitasking environment also needs no extra hardware, but the advantage of CFCSS over a watchdog task is that CFCSS can be used even when the operating system does not support multitasking     

电加热炉温度单片机控制系统

针对电加热炉温度控制由于非线性、大滞后、时变性等特点很难用数学方法建立精确的数学模型,用传统的控制理论和方法很难达到好的控制效果,介绍了一种新型的应用单片机AT89C51对其进行智能控制的控温系统。系统通过硬件电路和软件程序实现智能控制,描述了硬件原理图和软件程序框图,而在软件设计中采用智能控制算法,取得了良好的控制效果。     

基于Tilcon的VxWorks图形界面开发技术

针对嵌入式系统下图形界面开发困难的问题，介绍了一种理想的图形界面开发工具Tilcon，分析了该工具的工作原理和主要特点，提出了基于Tilcon的VxWorks图形界面开发方法，给出了一个图形界面应用实例，对基于Tilcon的程序开发方法和程序运行流程进行了分析和说明。     

利用逻辑分析仪分析微机系统的数据流

本文描述通过应用HP1630A逻辑分析仪对MCS的典型状态数据流进行检测,从而对MCS的程序流进行分析,其目的在于为MCS的数据流分析提供一种可靠而有效的方法.