提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。 一、项目分类 重大科学前沿创新 二、成果简介 以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(1)提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。获得命题逻辑求解器国际竞赛第二名和一阶逻辑证明器国际竞赛第二名，发表论文(JCRQ1)3篇，登记软件著作权3项。(2)提出了基于自动推理的形式化验证技术、基于交互式应用安全测试技术的检测方法，提升了网络空间安全软件系统在开发过程中软件代码层和业务逻辑层安全缺陷检测过程有效性和检测结果准确性。目前已形成拥有自主知识产权的商业工具，支撑了软件系统在关键信息基础设施中的安全应用，并辅助了国家相关信息安全标准的建设，测试工具是唯一一家被OWASPBenchmark工作组收录的中国厂商自研工具。获批国家标准2项(GB/T30279-2020  GB/T38628-2020)，获得发明专利4(ZL201910498983.9ZL2019108553424  ZL2020100476371  ZL20201175663.9)登记软件著作权11项。 (3)提出了一种网络空间非正常无线电信号的电磁干扰识别与自组织处理的方法，实现了及时发现与处理电磁威胁，提高了电磁信息的安全性。获得发明专利2项(ZL2012104380941、ZL2012104380937)，获得实用新型专利1项，发表论文1(JCRQ2）篇。

网络化服务集成平台是设计、实施网络化服务系统的基础。本成果建立了通用的网 络化服务与工程支持信息集成平台，集成企业相关的服务资源，为企业实现网络化服务 系统提供技术的支持。本项目涉及信息技术、自动化技术、制造技术和管理技术等多个科学研究领域，成 果来自于多个相关的理论研究和工业实施项目。成果已经应用于上海大众汽车有限公司、 沈阳机床集团、无锡机床集团等企业，相关成果正在机床、电气等行业推广。 同时，本项目通过中德合作，探索了一条高校、企业和外国高校以及外国企业之间 合作研究开发项目的新模式，打开了中德交流合作模式的另一扇窗口。

成果简介：无线传感器网作为以数据为中心的任务型网络，要进行数据的采 集、传输、融合、处理等工作。如果直接部署，而不采取有效地安全通信措 施，攻击者可以获取传感器的各种信息并进行篡改；可以通过 DoS 攻击瘫痪 整个网络；也可以在俘获一个节点之后，冒充原节点，阻塞真实信息、传输 虚假信息，这都严重的威胁着整个无线传感器网的安全性与采集数据的真实客观性。本项目在传感器节点上实现了基于椭圆曲线密码体制的加密算法、 数字签名算法、密钥

本项目旨在研究与开发建筑用塔式起重机电子化安全监控系统，对塔机本体实现安全监控和危险动作制止；并在此基础上构建面向监管部门的无线通讯网络的监控平台，实现塔机作业区域化安全管理和监督；监控平台配套相关技术标准和实施规范。从而为政府监督和执法提供科技手段，有效遏制大事故，减少一般性安全事故，保障人民群众生命和财产安全，构建安全、稳定、和谐的社会与生产环境。 本项目集成机械、软件、通信、电子、控制等领域技术知识，结合无线通信网络，实现对特种设备的实时监控，支持远程控制、报警、故障诊断、短信通知等功能；具备强大的数据库管理功能，支持多设备、多用户的网络化管理，提供Internet接入服务；应用智能化、模块化的设计思想，具备兼容性，可适应不同特种设备的监控，并支持断电和人为破坏保护功能。

本发明涉及一种计算机安全技术领域，特别涉及一种基于软件定义网络的安全防御系统及防御方法， 包括：网络控制模块、攻击分析模块、进程检测模块以及网络流量检测模块。网络控制模块拦截虚拟机 之间的网络数据包并将获取的流量信息转发至攻击分析模块，攻击分析模块接收来自网络控制模块的虚 拟机间的流量信息，并调用进程检测模块检测进程是否可疑，必要时调用网络流量检测模块对可疑流量 进行更深层的检测。本发明针对当前虚拟机服务器中用于各虚拟机之间流量转发的虚拟交换机

该网络通信处理器采用Freescale的MPC8377E作为CPU,外设配置5个 千兆网口（其中4个由VSC7395交换机提供）、键盘和显示接口、UART接 口、SATA接口和USB2. 0接口，可完成5通道网络数据收集、信号处理和存 储功能。釆用PowerPC作为信号处理CPU,具备多个千兆网络，可满足不 同通信、网络和信号处理实时处理应用。性能指标： 1. +10-30V电

本发明公开了一种基于变尺度窗口机制的 VoIP 服务安全保障方法与系统，本发明的方法流程是： 语音发送端 sender 向语音接收端 receiver 发起会话请求，通过代理端完成双向验证之后建立起安全会话，sender 将语音通过语音加解密模块加密之后发送给 receiver，receiver 将加密语音解密之后发送到语音质量保障模块，通过基于变尺度窗口的缓存技术，调整语音播放的时间，以保障语音的播放质量；本发明的系统包括：语音发送端 sender、发送端代理服务器 proxy1、接

哈尔滨工程大学网络威胁诱捕发现系统采购及服务竞争性磋商

该成果获2018年度国家科学技术奖科技进步类二等奖。创立了多模式公交网络供需辨识与协问设计技术，研发了多模式公交网络协同仿與与效能评估技术、多模式公交系统协调控制技术及面向多模式公交网络的智能版务技术与平台，大幅提升了多模式公交运行信总化管理水平和公众出行服务能力，项目攻克了城市多模式公交网络协同设计与智能服务的核心理论与关键技术，解决了当前城市公交系统缺乏协同、效率低下的问题，实现了城市多模式公交网络协同设计、综合评佔、协调控制与智能服务的技术突破.成果在京津翼、长三角、长江经济带等重点城市的工程项目中得到推广应用，全面提升了应用城市公交系统的整体效 能，有力支撑公交都市国家战略的实施，经济社会效益显著。

当前网络安全技术发展的主流是向全息安全(Holistic Security)发展。无论是网关与端点的结合即网络准入控制(Network Admission Control)，还是入侵防御与泄露防范 (Information Leakage Prevention)的共生，无论是无线与有线兼容，亦或信息安全与数据安 全的结合，都是安全防护技术一体化和集成化在不同侧面的具体表现。在这一发展潮流之中， 传统的安全网关也从单纯防火墙的边界保护(perimeter protection)门卫角色，发展到统一 威胁管理(UTM)的区域保护(local protection)首领地位，不但监控经过的各类流量，而 且监控邻域以致虚拟邻域的终端、应用和数据。本项目将自主知识产权的专利技术研究与成熟的工程队伍和技术创新机制相结合，研制 了基于软硬件协同的应用系统，具有完善的多层次协议分析与过滤能力;具备细粒度访问控 制、入侵检测和防御、防病毒、VPN、反垃圾邮件、内容过滤、流量监控、安全策略统一部 署等安全能力。由于单台设备能够承受超过 20G 的系统吞吐量、10G 的安全能力、7G 的内容过滤流量，依照电信 2M 上网带宽的标准，可以为电信提供至少 3500 个用户的接入，效益十分可观。 对于企业来说，通过高性能 UTM 的内容过滤，将大大降低遭受病毒、垃圾、钓鱼等攻击的 危险性，为企业良好的网络运行提供了有力的保障。在 UTM 领域，内容过滤的准确度、内容过滤性能提高和协议兼容性是应用层处理所面 临的共同问题。例如 NAI-McAfee 的防病毒网关每秒最多只能处理几十个电子邮件，防垃 圾邮件处理能力性能更低，其他厂家针对性能的提高提出了各种方案，将性能提升到上百封 的处理能力，但是如何解决慢速网络连接下的协议兼容性和流畅性并未得到改善，局部性能 的提高，并不能在整体上带来好的用户体验。再比如，在 http 协议的处理上，传统代理架 构的方式必将被淘汰，就算在内容过滤上能够做到每秒上 G 的性能，但是代理过程的延时 几乎没有用户可以接受，如何在流的方式下提高并行处理能力，如何在协议允许的范围内提 高反馈能力，都是需要值得延伸的技术研究。应用层安全网关功能的发展呼唤着新的软硬件 解决方案，像 Tarari 这样专门从事内容过滤(特别是 XML 处理)芯片设计的厂商将在短期 内增多并大有用武之地。总之，安全功能在 OSI 协议架构单层上的集成正在完成，多层间 的集成未艾，并需要有新的硬件平台和软件实现来突破性能瓶颈。当前最重要的目标是带动国产 UTM 性能上突破 10Gbps，从而推动国产高端 UTM 产品 的成熟和完善，提高国产高端 UTM 产品的市场竞争力，使自主知识产权的国产 UTM 在高 端市场上逐步占据主导地位，满足国内迅速增长的网络安全产品市场需求，为建设我国信息 安全框架提供基础产品，更好地保障我国网络信息安全。