摘要：点和区间关系的保密判定在范围查询中应用非常广泛,但目前已存的解决方案大多只保护了一方的隐私,而另一方的隐私并未得到保护.此外,已存方案给出的点和区间都是离散的整数(或有理数)范围.针对这些问题,本文利用安全多方计算的思想设计了保密判定点和区间关系的2种协议,不但同时保护了两方的隐私,而且将数域推广到连续的实数.本文首先利用0-1编码并结合Goldwasser-Micali同态加密给出了全隐私判定一个整数点是否在一个离散整数区间上的协议1;然后利用函数的单调性和Paillier同态加密给出了全隐私判定一个实数点是否在一个连续实数区间的协议2.最后,给出了本文协议的一个应用实例.理论和实验分析显示:本文的两个协议在取得较优通信效率的同时都取得了全隐私性.此外,协议2相比以往的方案,第一次给出点和连续实数区间的判定方法,在保持较优效率和良好性能的同时取得了通用性.

摘要：软件应用市场级别的安全审查需要同时具备准确性和可扩展性。然而,当前的审查机制效率通常较低,难以应对新的威胁。我们通过研究发现,恶意软件作者通过对几个合法应用重打包,将同一段恶意代码放在不同的应用中进行传播。这样,恶意代码通常出现在几个同源应用中多出的代码部分和非同源应用中相同的代码部分。基于上述发现,我们开发出一套大规模的软件应用检测系统——MassVet。它无需知道恶意代码的代码特征或行为特征就可以快速的检测恶意代码。现有的检测机制通常会利用一些复杂的程序分析,而本文方法仅需要通过对比上传的软件应用与市场上存在的应用,尤其关注具有相同视图结构的应用中不同的代码,以及互不相关的应用中相同的部分。当移除公共库和一些合法的重用代码片段后,这些相同或不同的代码部分就变得高度可疑。我们把应用的视图结构或函数的控制流图映射为一个值,并基于此进行DiffCom分析。我们设计了基于流水线的分析引擎,并对来自33个应用市场共计120万个软件应用进行了大规模分析。实验证明我们的方法可以在10秒内检测一个应用,并且误报率很低。另外,在检测覆盖率上,MassV et超过了Virus Total中的54个扫描器(包括NOD32、Symantec和Mc Afee等),扫描出近10万个恶意软件,其中超过20个为零日(zero-day)恶意软件,下载次数超过百万。另外,这些应用也揭示了很多有趣的现象,例如谷歌的审查策略和恶意软件作者躲避检测策略之间的不断对抗,导致Google Play中一些被下架的应用会重新出现等。

摘要：针对云平台的安全性问题,为提高系统管理员对云平台整体的安全态势感知能力,增强对云平台的可控性,本文首次设计了一种面向多源异构数据的云平台安全态势量化评估系统。对已有的安全态势评估方法进行了分析比较,针对云平台安全中多数据源的特点,提出基于云计算安全性指标体系的多源异构数据融合方法。利用大数据处理工具,对云平台的多源异构数据进行各保护层面态势指标融合和保护层面态势融合,得到整体的安全态势。本文运用该系统对所搭建的openstack云平台进行评估,实验结果表明该系统能够准确实时地反映云平台的安全态势。

摘要：近年来,Android操作系统快速发展,逐渐成为移动设备最常用的操作系统之一。与此同时,Android系统的安全问题也日益明显。由于Android系统自身的安全体系不够健全以及Android应用代码保护方法缺失,大量Android应用面临逆向工程、盗版、恶意代码植入等威胁。文章针对Android应用所面临的这些安全问题进行分析,并指出问题存在的原因。在此基础上,设计了一个完整的Android应用程序代码保护方法,该方法由PC端处理模块、Android端处理模块以及Android代码开发规范构成。为使该方法更具可操作性,文章还给出了一些关键技术的实现,包括基于AES算法的加密保护、伪加密、加壳、代码混淆以及特殊编码规则等。文章提出的面向Android应用程序的代码保护方法借鉴了传统的保护方法,结合Android系统的自身特性,采用文件加密、代码混淆、反动态调试、完整性校验以及加壳等技术,从对抗静态攻击和对抗动态调试两个方面提高了应用抗攻击的能力。因此,该方法不仅具有一定的理论意义,还具有一定的实际应用价值。

摘要：在移动通信技术不断发展的今天,各式各样的应用出现在手机终端,其中最具代表性的业务就是移动支付应用,越来越多的用户选择移动终端进行支付,与此同时移动支付安全风险也日益凸显。文章针对移动用户面临的各类支付威胁,设计了一个基于云平台的移动支付类恶意软件检测系统。通过云端和手机端协作的方式,在云端通过Android模拟器模拟特殊的移动支付场景,在移动支付类APP运行前对其进行敏感行为自动化动态测试,输出并解析运行日志,通过自定义的判定规则判断其是否具有恶意行为,从而能够在恶意行为发生前检测出恶意软件。同时手机端设置了二次打包检测和钓鱼短信检测的功能,帮助用户避免下载山寨恶意软件或登录恶意网址后掉入黑客设置的陷阱从而泄露隐私信息,再辅之以静默安装的检测功能,防止子包在手机后台静默安装逃避系统检测,从而更全面有效地保护用户的移动支付安全。最后通过实验验证了该系统的有效性和实用性。

摘要：文章运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,检测结果表明该协议是安全的,能抵制多种恶意攻击,符合FHAM协议设计的安全目标。

摘要：随着移动设备在企业中的大批出现,不同设备、不同操作系统平台、大量移动应用程序的管控让IT部门捉襟见肘。为此,企业移动管理系统(简称,EMMS)应运而生。然而,从目前来看EMMS仍然是一个正在发展中的产业,相关的功能和技术仍然在不断的探索和完善中。本文从技术层面,探索和分析i OS和Android平台EMMS功能的发展现状,包括产业模式、管控机制实施过程、功能支持程度等,并通过对比分析探讨不同实现方案的优势和劣势,以及其中可能存在的安全隐患,为i OS和Android平台EMMS产品的设计和开发提供参考,也为选择EMMS产品的企业提供客观的了解。同时,期望能在总结中对EMMS的未来发展提供一些思考。

摘要：动车组的运用维护和运行途中故障应急处置直接关系到旅客的生命财产安全,进而关乎社会的和谐稳定,其重要性不容忽视。然而,动车组机械结构复杂并且集成了多项尖端技术,使得运维工作复杂,也给高效、及时的故障排除带来了一定的挑战。论文设计开发了一套全方位、一体化的动车组掌上运维系统,和传统技术相比,我们的系统充分利用了移动终端便携性好、多媒体效果好的特点,基于成熟的移动互联网技术、移动应用开发技术,有效整合了离散的动车组运维资源,为动车组现场运维人员提供便捷、高效的技术支持。系统在动车组运用维护中已投入应用,取得了良好的应用效果和社会效益。