隐蔽信道研究

隐蔽信道是指允许进程以危害系统安全策略的方式传输信息的通信信道,是对安全信息系统的重要威胁,并普遍存在于安全操作系统、安全网络、安全数据库系统中.国内外的安全标准都要求对高等级的安全信息系统进行隐蔽信道分析.首先分析隐蔽信道的基本概念,研究领域、技术组成及分类,然后从信道识别、度量、消除、限制、审计和检测几个技术层面综述隐蔽信道研究中经典的技术和方法,系统地总结隐蔽信道领域30多年来的研究成果,尤其对近年来隐蔽信道度量和处置新技术作了较为详尽的介绍.试图为该研究方向勾画出一个较为全面和清晰的概貌,为隐蔽信道分析领域的研究者提供有益的参考.

社区热点微博推荐研究

分析并总结了影响用户对特定微博兴趣的若干因素,在此基础上基于潜在因素模型提出了1个融合显式特征和潜在特征的社区热点微博推荐算法(community micro-blog recommendation,CMR),并将其用于发现微博兴趣社区热点信息.算法在3个兴趣社区上进行了实验,结果表明:1)融合2种特征信息的微博推荐效果好于使用单一特征信息的推荐;2)CMR的推荐效果好于基于转发次数的对照实验(micro-blog repost rank based recommendation,MRR);3)通过分析各个算法所推荐的微博内容,发现CMR倾向于为用户推荐兴趣社区相关微博,而MRR倾向于为用户推荐公共热点微博.

面向频繁模式挖掘的差分隐私保护研究综述

频繁模式挖掘是数据挖掘的一个基本问题,其模式本身和相应计数都有可能泄露隐私信息。当前,差分隐私通过添加噪音使数据失真,有效实现了隐私保护的目的。首先介绍了差分隐私保护模型的理论基础;其次,详细综述了差分隐私下3种典型的频繁模式挖掘方法的最新研究进展,并进行对比性分析;最后对未来的研究方向进行了展望。

基于统计抽样的非均衡分类方法在软件缺陷预测中的应用

目前软件缺陷预测的研究主要是从历史数据获取来源和预测方法这两方面入手。然而,获取到的软件历史缺陷数据往往是非均衡的,传统的预测方法会给缺陷数据带来极大的误分率。针对这一问题,提出使用基于统计抽样的非均衡分类方法来预测软件缺陷。通过经验性地对比分析12种已有抽样与分类算法组合的预测性能优劣,得到Spread Subsampling和随机森林结合的方法(SP-RF)综合表现最好,但具有较高伪正率(FPR)。为了进一步提高预测性能,针对原始SP-RF方法会对原始数据带来较大的噪音及信息缺失等不足,提出一种基于SP-RF的内置均衡化抽样的自适应随机森林改进算法(IBSBA-RF)。实验表明,IBSBA-RF算法可以显著降低预测结果的FPR,并且进一步提高了预测结果的AUC和Balance值。

双重软件体系结构描述框架XYZ/ADL

体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础.前端的图形语言便于软件工程师的交流和使用,后端的形式语言是进一步的形式化分析验证的基础.

计算机取证的研究现状分析

本文从技术和法律相结合的角度对于国内外计算机取证的研究现状进行了总结和分析。以电子证据的来源为标准,计算机取证技术可分为:单机取证技术、网络取证技术和相关设备取证技术。而以计算机取证的过程为标准,计算机取证技术可以分为:电子证据的发现技术、固定技术、提取技术、分析技术和表达技术等。本文结合这两种分类,全面地分析了计算机取证这一领域的技术法律研究现状,提出了目前存在的问题和解决问题的建议。

网络取证及计算机取证的理论研究

本文分析了网络上电子证据的获取技术,指出可以利用入侵检测技术、网络传感器技术、网络监控技术和网络透视技术进行电子证据的提取。从电子证据的法律认定、计算机取证的原则和过程、计算机取证的框架和模型等方面总结分析了计算机取证的理论研究。

特权约束系统职责隔离问题研究

特权控制操作系统最重要的资源,需要应用职责隔离原则,确保特权安全.与现有研究不同,从特权隐式授权方面探讨对职责隔离的支持问题.通过分析特权来源,将特权定义分解为约束规则与执行规则,弥补了现有访问控制研究中对权限效果描述不足的缺陷.两类规则间的逻辑推导说明授权间的推导关系,即特权间存在隐式授权,可能不满足职责隔离要求.利用授权推导关系图准确而全面地反映了特权机制的所有隐式授权.从特权的职责隔离属性,及职责隔离对特权的机制要求两方面探讨上层职责隔离需求与底层特权控制实施的一致性问题.以目前广泛应用的POSIX权能机制为例,给出其形式化模型BMPS模型的定义,指出该机制支持职责隔离存在的问题,并对该机制进行了改进,给出满足职责隔离要求的特权策略实施方案.

基于“VASE”特征词的网络查询分类研究

网络查询分类对提高搜索引擎的搜索质量有重要的意义。该文通过对真实用户查询日志的分析和标注,发现四种特征词(称之为"VASE"特征词)对查询分类起决定性作用。我们提取特征词并构造了一个特征词倒排索引,用于对查询进行主题分类。在此基础之上,提出了基于网络扩展和加权特征词的方法改善分类的效果。实验结果显示,基于此分类方法的正确率和召回率分别达到78.2%和77.3%。

普适计算环境下的虚拟机技术研究

普适计算环境中资源和服务利用率较低,传统应用程序在该环境下无法兼容。为此,提出一种适用于普适计算环境的虚拟机技术。使用设备请求代理屏蔽复杂的普适计算网络环境,对上层应用提供统一硬件平台,支持多个普适计算应用同时运行。实验结果表明,该虚拟化技术能兼容传统应用,提高普适计算资源和服务的利用率。

基于评论挖掘的软件评价系统

设计一个Web系统,利用Android电子市场上各个领域的软件评论,对软件进行细致的评价,帮助用户选择适用的软件。首先通过抓取Google play评论建立数据库,利用规则模板提取软件特征和情感词。然后,通过知网与用户常用极性词典判别情感倾向。最后通过特征聚类等方式将软件之间特征级别进行对比与评价,从而把同类软件按特征粒度进行精准排序和选择。

缺陷理解研究:现状、问题与发展

缺陷理解是针对缺陷本身及衍生产物建立完整认知过程的研究.由于调试的连贯性及完美缺陷理解假设不合理性,深入分析缺陷传播过程及缺陷间关系、研究关键信息检测及理解信息表达方式,提取及表达面向缺陷研究不同场景不同需求下的可理解性信息,最终达到优化缺陷分析结果及辅助调试各过程缺陷知识复用及积累的目的成为必然.由定位与修复之间存在的知识割裂问题出发,思考缺陷理解研究的本质,明确缺陷处理过程中缺乏知识挖掘及互用问题.通过工程实例分析及文献成果梳理,提炼总结缺陷理解领域的研究方向及技术方法,探讨缺陷理解研究中的特点及难点,思考缺陷理解研究中存在的问题及未来的研究方向,对缺陷理解的研究趋势进行了展望.

软件众包参与度影响因素分析及预测模型

随着"众包"这种商业模式的快速发展,越来越多的互联网公司选择以"众包"的形式发布软件任务.然而,软件任务因其高门槛、高复杂度、长周期等特性,面临着严重的低参与度问题.本文结合全球最大的软件众包平台Top Coder的数据,对软件众包任务的参与度进行研究.首先,使用多元回归分析了影响软件众包参与度的因素;接着,综合数据挖掘领域的多种分类预测算法,探讨软件众包参与度的预测模型.希望通过本实证研究,为发包方、众包平台降低软件众包的低参与风险提供参考.

基于CoreOS面向负载整合的集群调度研究

CoreOS是基于Docker的新型容器化集群服务器操作系统,发展迅速,已经得到OpenStack、Kubernetes、Salesforce、Ebay等主流云服务商的支持,云环境中负载是动态的,相应的其资源需求是动态变化的,这给集群资源高效利用带来了挑战,静态预分配峰值资源的策略带来云端资源的巨大浪费,同时空转的计算浪费大量能耗.本文提出的面向负载整合的集群调度系统(简称LICSS)实时监控集群负载分布情况,调度时使用紧凑式调度策略分配计算节点,运行时利用任务迁移技术对负载进行动态整合,实现及时收集释放空转资源降低资源能耗浪费的目的.LICSS系统设计实现了节点负载度量、任务度量、负载整合算法,并测算出节点自适应负载阈值.实验表明,LICSS系统能够根据不同时段集群负载动态变化情况对负载进行有效整合,提高了12.2%的平均资源利用率,并且基于任务整合在低负载时段触发富余节点休眠降低集群能耗.

基于Docker技术的GUI应用的在线迁移研究

GUI应用在桌面环境中占据主流,在线迁移GUI应用能够提升用户体验.然而,当今广泛使用的X窗口系统所定义的协议十分复杂,不利于GUI进程的在线迁移.另外,如果两台机器的运行时环境不一致,将会导致迁移失败.因此至今未有实现GUI应用的在线迁移.近年来,Wayland作为新的图形接口协议面世,其中规定软件图形渲染由GUI客户端负责,这为迁移工作带来极大的便利.而当今热门的Docker容器技术则能把Wayland GUI应用及其运行时库打包,确保运行时环境的一致性.当迁移发生时,整个容器都会被迁移至目标机器继续运行.本文开发了相应的处理Wayland协议模块,并在CRIU工具的基础上实现了重建Wayland状态.通过实验证明,本文方案是可行的,容易推广到其他的GUI应用.

现场总线设备链路层软件实时性分析与实现

为满足一种现场总线设备的实时性,分析了其链路层软件的实时性需求,并实现了链路层软件。链路层软件由设备驱动程序和和消息接收发送线程组成,通过设备驱动程序实现对FPGA板卡的控制以及中断处理,使用消息队列实现消息收发线程与用户线程的通信。对影响实时性的关键时间段进行分析,为精确测量时间,在关键模块进出口使用发送脉冲到示波器,使用示波器对软件的关键模块运行时间进行测量。测量结果表明,能够满足设备的实时性需求。

软件外包项目工作日志质量评估方法

工作日志是软件外包项目监控项目进展的一个重要手段,它由工作人员填写汇报项目进展.工作日志的质量一定程度上体现了过程执行的质量,但是由于其数量庞大内容琐碎,很难依靠人工完成查看和评估.现有的研究对日志质量的关注较少,因此本文提出一个自动化评估日志质量的方法,该方法利用词法分析、依存句法分析、LDA主题模型对历史日志数据进行分析和挖掘,从结构、内容、主题相关性等方面选取质量特征,通过专家小组标注的方法获得训练数据,使用分类算法建立质量评估模型,通过模型对日志质量进行自动化评估.本文以一个国家核高基项目为案例,实现了一个具有较高准确率的评估模型,结果表明本文的方法能够合理的评估日志质量,为外包单位提供有效的决策支持.

跨组织数据的软件成本估算方法

软件成本估算一直是软件项目管理的重要部分.经过半个多世纪的研究和工业实践,成本估算方法、模型得到了极大的丰富.这些方法、模型也衍生出了各种成本估算工具.但是,成本估算方法和模型的基础是历史项目数据.没有历史项目数据的公司和组织只能利用其他公司或组织的数据来进行自己项目的成本估算.如何利用跨组织数据进行有效的成本估算成为更具现实意义的问题.针对这一问题,提出了一种有效利用跨组织数据进行成本估算的方法,并通过实验说明了方法的有效性.

基于Web Services和工作流的遗留系统集成研究

遗留系统是企业的重要财富,是整个企业IT战略过程中的重要组成部分。如何实现遗留系统的集成,将是企业面临的重要挑战。本文给出了一种基于Web Services和工作流的遗留系统集成解决方案-LEGINE平台。LEGINE平台利用Web Services技术将各遗留系统封装为Web服务,并实现系统间的服务共享。再利用工作流的过程定义与任务管理能力,支持遗留系统业务过程的重组与整合。实践证明,开发者利用此方案能够有效集成遗留系统,满足用户多样化的过程定制需求,极大地降低了改造、定制成本。

以状态子集为中心的并行模型检测算法

以线性时序逻辑LTL(Linear Temporal Logic)模型检测算法为研究对象,提出以状态子集为中心的并行模型检测算法.针对传统单机多核算法同步开销大的缺点,新算法充分利用状态子集的稠密特性动态调度任务,从而降低同步开销,提高算法并行度.本文基于轻量级单机图计算框架Ligra,结合检测过程中状态子集的特性,设计并实现新的在线(on-the-fly)模型检测算法.与现有算法相比,在模型检测的效率上可以提升20-30%,具有高扩展性特征.