基于组合算法的Android恶意软件检测方法 为解决当前恶意软件检测方法志中适用面较窄、实用性较低的问题，通过组合式算法筛选出最优分类器，并以此为基础实现了一个检测系统。

基于回溯树分解的互斥约束工作流可满足性计数 随着信息通信技术的发展,大量分散资源具备了联网服务能力,并亟待进行集约化的利用。而在互联网和移动经济趋势下,消费需求日益个性化,市场竞争进一步加剧,对业务过程的应变创新和快速组织提出了更高要求。由于这两种趋势的融合,出现了从Web服务组合到云制造等一系列以众包为特征,并需要处理复杂或结构化任务的技术模式和产业形态。在相应的服务平台上,业务过程依靠大量第三方资源来完成,从而面临着复杂多变的资源环境。首先,资源服务过程中可以接触相关的业务数据,而不同资源的提供者之间存在各种关系和纽带,有可能串通推断业务机密和客户隐私。不仅如此,第三方资源的虚拟性、分散性和多源性使其更容易失效,给业务过程执行造成时间和经济损失。资源环境的上述特点对业务过程提出了特殊的安全性问题以及进一步的顽健性要求。

杀毒软件中指令虚拟机的脆弱性分析 指令虚拟机技术是当今反病毒领域采用的核心技术之一，绝大多数杀毒软件的扫描引擎均采用指令虚拟技术来分析文件，以还原这个程序的行为是否会威胁到系统安全，根据这个进程的行为特征判断它是否是病毒或木马。针对杀毒软件中指令虚拟机的特点，研究虚拟环境与真实环境的差异，在深入分析指令虚拟机和计算机病毒木马本质特征的基础上，理论与实践研究相结合，给出目前杀毒软件中指令虚拟机的脆弱性分析。