基于.NET WCF回调机制的进程间通信设计

为了解决.NET环境下的进程间通信问题,该文提出了一套基于WCF回调机制的进程间通信解决方案。文章首先对WCF服务组件的内部结构和使用特性作了简要介绍,然后对WCF服务解决进程间通信问题的具体方案作了详细说明,并通过对实测数据的对比分析,总结出了常用的WCF绑定方式:NetTcpBinding和WSDualHttpBinding的优选原则。实测结果表明,本文的方案是可行的。     

LINUX进程间通信的模型检测

模型检测是一种强大的自动分析验证技术.分析了LINUX进程间通信的部分源代码并进行手工形式化建模,使用有限状态自动机描述模型,继而转换成SPIN的输入语言PROMELA,对其进行模型检测,验证了系统的有界性和可终止性,并就进程间通信中容易发生的问题提出了改进方案.     

软件网络通信过程逆向分析及可视化技术研究

针对软件逆向分析中遇到的软件网络通信过程复杂,分析耗时的问题,提出了软件网络通信过程逆向分析及可视化方法.利用动态二进制平台DynamoRIO记录软件网络通信过程中执行的API函数信息,对记录结果进行函数关联性分析,结合图形化工具软件aiSee,将软件网络通信过程以图形化形式展现.实验结果表明,该方法能够在不影响程序的情况下通过程序的一次运行即正确解析并可视化其网络通信过程.     

进程间通信机制的分析与比较

1.引言为了完成特定任务,进程间经常需要通信,例如,传递数据、发送消息或相互间执行同步操作,因此进程间通信机制是操作系统非常重要的一个组成部分。下面我们将结合各种U-nix版本,详细讨论Linux核心2.2进程间通信机制的设计原理和实现方法以及Linux核心2.4所做的改进。2.信号信号是最古老的一种通信间通信方式,它的功能是向某个进程发出软件中断,通知该进程发生了一个重要的事件,如     

基于RTLinux实时系统进程间通信的研究和在数控系统中的应用

主要讨论了实时系统内部各模块间通信的特点和不依赖于平台的通信机制，并给出了在基于RTLinux平台的数控系统中通信机制的实现方案．     

基于File Mapping的进程间通信中共享内存技术的实现方法

进程间的数据交换和共享是一种非常重要和实用的技术，如何选择恰当的通信方式就成为应用开发中的一个关键问题。本文就基于File Mapping的共享内存技术的实现方法进行了探讨，并针对“内存文件映射”方式编写了进程间通信程序实例。     

使用MatlabEngine库实现和Matlab的进程间通信

本分析了Ｍａｔｌａｂ提供的进程间通信接口ＭａｔｌａｂＥｎｇｉｎｅ库,并详细介绍了在Ｃ＋＋Ｂｕｉｌｄｅｒ环境下和Ｍｎｔｌａｂ进行通信的方法。     

一种基于微内核操作系统进程间通信恢复方法

微内核架构为操作系统提供了良好的隔离性,高度模块化的架构设计使得微内核架构操作系统对进程间通信的依赖度极高,进程间通信恢复是系统恢复正常运行的关键。权能是微内核架构操作系统中进程对资源操作权限的描述,决定进程间能否进行通信。针对微内核操作系统在系统服务恢复过程中出现的进程间通信信道丢失问题,提出并实现了一种进程间通信恢复方法。在通信异常时保存权能信息,用于在系统关键服务恢复过程中重新建立客户程序与服务程序的进程间通信信道。实验结果表明所提出的方法是有效的,可以提高操作系统的可靠性。     

理解Linux环境下SYSTEM V进程间通信

为了满足在大型的应用系统中进程间通信的需求,讨论了Linux环境下的几种主要进程间通信手段,不仅对每种通信手段的内部实现原理和机制进行了具体分析,而且通过实例应用为功能实现的理解提供了有效的借鉴,为在Linux环境下的应用开发提供了坚实的理论基础。     

工控软件的通信方案实现和优化

现代工业控制一般由计算机监控软件来实现,因此为工控软件选择理想合适的进程通信方式,能够迅速准确地监测现场数据,对突发事件做出及时响应,达到安全生产。在分析比较了不同的通信机制的基础上,通过实验测试找出了适合不同监测点的进程通信模式,为工控软件设计了不同的通信方案以适应不同的现场。同时,从数据冗余、信息承载量和例外报告三个方面提出了优化传输效率的方案,达到快速响应的目的。     

基于TEMU动态二进制分析平台的程序控制流转移指令追踪

执行路径追踪是一种重要的动态二进制分析技术,可用于程序优化、失效诊断、软件度量和动态测试生成等诸多方面。执行路径追踪的性能开销巨大,收集到的踪迹信息数量庞大,给该技术的应用带来了困难。一般情况下,只追踪程序中的控制流转移指令可以降低开销,同时保留执行路径上的关键信息。本文以TEMU动态二进制分析平台为基础,重点研究在该平台上追踪程序控制流转移指令的方法。根据TEMU平台的特征,本文给出了一种通过解码指令进行追踪的直观方法和一种利用TEMU的"基本块起始"回调函数进行追踪的启发式方法。通过对这两种方法进行对比实验和分析得出:启发式方法具有明显的速度优势,而直观方法具有精确性和可扩展性。     

基于协议逆向的移动终端通信数据解析

针对移动终端通信协议及通信数据的解析,其难点在于大部分移动终端应用程序并无相关公开的技术文档,难以获知其采取的通信协议类型。指令执行序列分析技术通过分析程序执行的指令序列逆向推断出消息格式和状态机。但有时序列信息采集不全,导致状态机推断不完备,从而无法获取全部协议信息。针对上述问题,提出了一个新型的基于状态机对比推断分析的移动终端通信协议解析方案,可用于取证场景提高数据取证的准确性和完备性。该方案首先利用PIN动态二进制插桩,识别污点源并跟踪污点轨迹分析出协议消息格式;然后根据格式信息对提取的协议消息进行聚类分析推断出原始状态机;最后利用最长公共子序列（LCS,longest common subsequence）算法与已知的协议状态机进行对比,相似度最高者即为推断出的通信协议类型。在Android平台上基于两类应用程序设计实验对该方案进行测试和评估,实验结果表明可准确提取应用程序的通信内容,实用价值强。     

基于QEMU的动态二进制插桩技术

软件插桩是程序优化、软件调试、软件测试、故障定位等软件动态分析的基础技术.而其中,动态二进制插桩技术,因其无侵入性,即既不需要对源代码进行修改编译,又不需要重新组装二进制程序,不会引起目标码膨胀,而广泛应用于软件动态分析,特别是在资源受限、功耗低、实时性高的嵌入式软件领域,动态二进制插桩技术十分关键.然而,现有的二进制插桩工具仅能应用于用户态软件分析,在嵌入式全系统软件领域,还没有相应的二进制插桩工具.针对上述问题,在基于动态二进制翻译的开源指令集仿真器QEMU(quick emulator)基础上,研究突破基本块运行时间统计收集,并消除中断对嵌入式系统软件控制流分析的不良影响,实现了在中间码上对嵌入式全系统软件的动态二进制插桩,完成嵌入式全系统软件运行控制流跟踪,并开发日志处理工具.实验表明,该方法能完成目标码的调用图、函数剖面、覆盖率、控制流等分析,可以解决了嵌入式全系统软件动态二进制分析问题.     

以Bol SipPhone语音流为载体的信息隐藏方法实现*

改进了前期提出的基于即时通信软件的隐蔽通信模型,提出了自适应的套接字函数截获方法,通过挂接Bol SipPhone的语音流进行了实现,并提出了基于套接字函数的Bol SipPhone语音流识别方法.研究分析了其语音流中G.723.1的LSF参数最不重要比特位(ISB),利用LSB替换的方法实现了信息隐藏.实验结果表明,...     

基于会话关联的软件网络通信行为分析技术

针对软件网络通信过程,提出一种基于会话关联的逆向分析方法,该方法首先对软件产生的网络通信流量和软件执行的应用程序编程接口(API)序列分别进行会话还原,再对还原的会话进行会话关联,为软件网络行为分析中的基于网络流量的分析方法和基于执行轨迹的分析方法建立了直接映射。设计并实现了相关的会话关联系统,并在此系统上进行了函数调用链的提取,使针对软件网络通信过程的分析更快捷。     

基于进程通信的电力系统分布式计算模型

当前,在电力系统分布式计算领域,缺乏一种通用的计算模型以满足各种电力系统分布式计算的基础需求。基于此,分析了电力系统分布式计算的特点,从软件设计的角度出发,抽象出其中的节点行为模型,并针对此提出了一种可广泛适用于电力系统分布式计算的,基于进程通信的计算模型。实际应用表明,该模型可以有效地应用于电力系统的分布式计算中。     

基于自我意识的Agent通信语言研究

Agent间的通信目的是不断完善其自我意识,Agent间的通信内容是Agent对其自我意识的解释,Agent间的通信过程是Agent在其自我意识上的推理。在研究经典Agent通信语言的基础上,结合知识类别、自我意识、语气等相关研究成果,以能描述语义的互表性、模糊性、动态性和自我意识性的动态本体描述语言作为通信内容的表示工具,设计了一个基于自我意识的Agent通信语言,给出了该语言的消息结构和语用词,并通过实例来解释Agent间的通信过程是Agent在其自我意识上的推理。     

基于数据流分析的网络协议逆向解析技术

对未知网络协议进行逆向解析在网络安全应用中具有重要的意义。现有的协议逆向解析方法大都存在无法处理加密协议和无法获取协议字段语义信息的问题。针对这一问题,提出并实现了一种基于数据流分析的网络协议解析技术。该技术依托动态二进制插桩平台Pin下编写的数据流记录插件,以基于数据关联性分析的数据流跟踪技术为基础,对软件使用的网络通信协议进行解析,获取协议的格式信息,以及各个协议字段的语义。实验结果证明,该技术能够正确解析出软件通信的协议格式,并提取出各个字段所对应的程序行为语义,尤其对于加密协议有不错的解析效果,达到了解析网络协议的目的。