摘要：研究基于静态污点分析技术可用于输入验证漏洞检测的疑点分析方法以及疑点标记和疑点传播路径问题,定义疑点源、疑点传播路径概念和疑点属性的4个状态,制定疑点属性状态间的转换规则,设计疑点源标记与疑点传播路径获取算法.实验结果表明,该方法能够较准确地标记程序中的疑点源并获取其在程序中的传播路径.

摘要：视频监控系统面临着一系列安全问题,频频出现视频监控假冒、窃取和非法控制事件。基于可信计算技术,设计了可信视频监控系统安全架构。该架构对系统中的计算设备实施可信安全增强,设计了基于数字证书的双向认证协议,对传输的视频和信令数据进行加密保护。系统验证和分析结果表明,该架构有效提高了视频监控系统的安全防护能力。

摘要：随着信息系统规模不断扩展以及系统复杂度增大,软件集成和运用模式逐渐网络化、服务化.但是软件产品在推出时总会含有一些已知或未知的缺陷,这些缺陷对信息系统的安全可靠运行构成了严重的威胁.为了避免信息系统因安装不可信的软件造成数据破坏、重要信息被窃取等严重事故,本文设计了一种基于数字证书的软件安全分发方案,供相关读者参考.

摘要：本文构建了一种基于属性加密技术的数据保护和访问控制模型,设计了基于属性的密码服务系统架构,以FTP文件服务器、数据库系统和网络存储系统为实例,描述了详细的加解密和访问控制流程。该模型较好地解决了数据安全共享和细粒度访问控制问题。

摘要：嵌入式平台面临的信息安全威胁日益突出,传统的信息安全防护手段难以应对层出不穷的攻击手段,将可信计算技术引入到嵌入式平台中,构建以可信密码模块(TCM)为信任根的嵌入式平台,设计嵌入式可信平台信任链,建立从硬件平台到上层应用的信任链体系,是解决嵌入式平台信息安全问题的有效方法。

摘要：河流水系可以建模为由各个层级的干流所组成的网络体系。无名河流水系的实体化可以解析为确定各个层级干流对象的过程。依据长度准则,逆向运用GIS网络分析中的最短路径分析技术,设计了一种无名河流水系实体化算法,基于FME平台进行了实现。试验结果表明,该算法正确合理,不仅广泛适用于单汇水点、多汇水点、树状、网状等不同拓扑结构水系的实体化,而且同时适应单个水系的独立实体化和多个水系的同步实体化。

摘要：为保证柴油机可靠性和耐久性,必须进行有效冷却。冷却水套作为传热过程中的重要结构,直接影响柴油机的冷却效率和高温零部件的热负荷。本文对某四缸柴油机冷却水套进行了计算流体动力学(Computational Fluid Dynamics,CFD)数值模拟,分析了缸体和缸盖的关键区域流场状况,针对冷却液流速偏低的区域进行了优化,在不提高冷却水套整体压损的情况下,使流场得到较大改善。

摘要：为了改善传统的健身模式,为广大健身人群提供一个合理的健身方法,我们在传统运动手环对心率实时测量的基础上,由我们设计的算法,编程生成有氧运动标准值的靶心率参数范围,使健身者得到合适自己的区间,能够科学健康的达到健身目的。