针对Android软件中存在的用户隐私信息泄露问题,基于动态污点跟踪技术实现TaintChaser自动化检测系统。该系统能对软件中存在的用户隐私信息泄露行为进行细粒度的跟踪,实现对手机软件规模化自动化的检测与分析。利用该系统对28 369个Android程序进行检测,结果表明,有24.69%的程序可能存在泄露用户隐私信息的行为。
针对无线视频传输系统中数据帧长度变化较大、信源数据速率不断变动的特点,提出一种基于中继的低延时协作视频传输系统。给出传输延时的表达式,分析协作中继系统降低传输延时的原因。设计系统的中继策略和调制编码方案,以提高系统的传输质量。仿真结果表明,该传输系统可以有效地降低视频传输的延时,并获得误码率性能增益。
IP多媒体子系统(IMS)中现有的会话初始协议(SIP)洪泛检测方法不能根据网络状况进行自适应检测。针对该问题,提出一种基于扩展状态机的SIP洪泛自适应检测方法。通过增加描述网络受到攻击或出现异常时的状态,构造IMS网络中的SIP扩展状态机,基于卡尔曼滤波设计自适应阈值调整算法,对SIP洪泛攻击进行自适应检测。实验结果表明,该方法比固定阈值的检测方法具有更好的检测性能,更适用于真实网络。
遥感图像空间尺寸较大、浏览时占用系统资源过多。为实现任意次撤销重做,解决软件支持文件格式较少、数据类型单一等问题,提出一种选择性建立与多线程更新高速缓存的机制。将路径层技术应用于图像显示过程,采用结构体数组与栈对象相结合的方法,并基于地理空间数据抽象库(GDAL)完成软件系统的研发。测试结果表明,该系统表现出较好的稳定性和鲁棒性,尤其是对空间尺寸较大的文件进行RGB模式显示时,缩放与漫游功能操作灵活、响应时间短,能满足工程要求与实际需要。
某些场合下敌手能够获取与私钥有关消息的密文,大多现有加密方案在上述情况下是不安全的。为抵抗这种攻击,给出一般子群不可区分困难假设的一个实例——椭圆曲线子群不可区分困难假设,并设计相应的归约算法。在此基础上,提出一个基于环 上椭圆曲线的公钥加密方案,并将该方案中的密文不可区分问题归约到椭圆曲线子群不可区分困难的假设上。分析结果证明,该方案在此假设下是安全的。
适合于计算机执行的对偶四元数更新算法是实现对偶四元数捷联惯导系统功能的关键。为此,将螺旋矢量作为工具,在给出螺旋矢量求解方法的基础上,通过分析合理选择划船运动作为测试条件,以二子样为例对基于螺旋矢量的对偶四元数更新算法进行优化设计。与传统的划船误差优化补偿算法在性能上进行分析与对比,结果表明,对偶优化算法具有一定的性能优势,它不但从结构上将旋转运动与平移运动统一表征,而且使2类运动参数的估计精度达到一致最优。
隐式流对于污点分析方法的准确性有重要影响。为此,提出一种基于程序单静态赋值形式的隐式流检测方法。通过生成控制流图的必经节点树检测控制依赖关系,计算必经边界发现程序汇合点,引入虚拟取值函数获得汇合点变量的多个赋值,从而判别变量取值分歧并标记污点属性。与人工审计结果的对比证明,该方法能够诊断2个污点分析工具的污染缺失和污染过度问题,有效降低隐式流分析的误报率和漏报率。