计算可靠的Diffie-Hellman密钥交换协议自动证明

针对Diffie-Hellman密钥交换协议,提出了采用观测等价关系的建模方法,证明了该方法的可靠性,并利用该方法扩展了自动工具CryptoVerif的验证能力。发现了对公钥Kerberos协议自动证明中敌手能力模型的缺陷,并提出了修正方法。利用扩展的CryptoVerif自动证明了基于Diffie-Hellman的Kerberos协议的安全性,验证了该扩展方法的有效性。与现有大部分证明方法不同的是,该证明方法既保留了自动证明工具的易用性,又保证了计算模型下的强可靠性。     

反病毒虚拟机的缺陷及其改进

反病毒虚拟机是检测变形病毒的重要手段。文中分析了反病毒虚拟机的工作原理,揭示了反病毒虚拟机存在的三方面缺陷：无法模拟需要人工选择的程序分支、无法模拟程序完整的执行过程、程序模拟执行时间与实际执行时间不相等,分析了上述缺陷产生的原因,并通过一组实验验证了问题的严重性,最后,针对上述缺陷提出了相应的改进方法。改进后的反病毒虚拟机有效地弥补了缺陷。     

多功能通信数据接口卡的设计与实现

采用FIFO技术，通过直接写内存的方法，模拟终端之间的通信，完成高速率行数据的实时接收和存储的数据传输用多功能微机接口卡。     

语音转换及相关技术综述

给出了语音转换的定义,介绍了语音转换的用途,分析了表征说话人个性特征的语音参数,研究了语音转换的系统结构,对语音转换的实现主要从频谱包络和韵律两个方面的转换进行了研究讨论,分析并介绍了语音转换现在的发展水平及存在的问题。     

CCSDS空间遥控链路异常行为检测算法

空间通信网络的开放性使其面临巨大的安全威胁,在空间遥控链路中应用认证或加密等密码学算法以增强空间遥控数据传输的安全性成为该领域的主要研究方向。由于CCSDS空间遥控链路COP-1协议与所加入的认证机制对传输错误均具有敏感性,而恶意攻击或信道误码均能引起数据接收端的重传请求,使得数据发送端无法对链路中的协议异常行为进行检测。该文提出了一种新的重传请求机制,改进了现有的COP-1传输控制协议,并建立了空间遥控链路中恶意攻击者的攻击行为模型,基于假设检验的策略提出了CCSDS空间遥控链路异常行为检测算法。仿真实验结果表明,所提出的算法能够在各种信道状态下准确、无误地检测到链路中攻击者的存在。     

内网数据链路层安全通信组件设计与实现

针对内网嗅探、网络途径主动泄密等威胁,为提高内网通信过程中数据的保密性,设计并实现了一种安全通信组件。组件在Windows系统内核层以网络过滤驱动的形式实现,可嵌入NDIS体系。在终端通信过程中,该组件自动协商会话密钥,对数据链路层数据包执行加解密操作,实现过程对终端用户透明。试验结果显示,该组件能够实现终端保密通信,抵御内网嗅探和防止主动泄密,提高Windows系统的通信安全性,达到预期目的。     

一种基于隐马尔可夫模型的协议识别技术

目前的协议识别技术主要是基于端口映射或静态报文特征匹配的。随着网络协议的发展,一些新的协议采用动态端口进行通信或不具有明显的静态报文特征,且部分协议采用了加密技术。这使得传统的识别技术准确率大幅下降。针对传统协议识别技术的局限性,这里提出一种基于隐马尔可夫模型(Hidden Markov Model,HMM)的协议识别技术。它是一种基于统计特性的识别方法,选用对于加密不敏感的特征如包的大小、达到时间等来实现协议的识别。实验结果证明,与传统识别技术相比,它能有效地提高协议识别的准确率,并能用于加密条件下的协议识别。     

伪随机交织器设计的改进

本文在给出Turbo码系统中交织器设计要求的基础上分析了伪随机交织器的工作原理,并针对其存在的缺点,通过对其随机数的产生加入一定的约束条件,得到一种改进形式的伪随机交织器,通过理论分析和数值仿真验证了这种改进是有效的。同时给出了降低交织器复杂性的方法。     

基于PSTN的桌面视频会议系统中MCU的设计与实现

桌面视频会议系统是将来多媒体应用的一个主流方向,也是用户所迫切需要的一种多媒体通信服务。本文介绍了一种基于ＰＳＴＮ的低速视频会议系统的关键模块－多点控制单元的设计思路与实现方案,并就其应用前景作了初步的探讨。     

基于Agent的航天测控中心计算机系统模型

从我国航天测控系统的中心计算机系统的未来发展出发,结合实际任务需要,提出建立一个基于多Agent的分布式航天测控数据处理模型。模型利用了Agent的智能性动态组合系统资源,进行测控数据的接收、处理和分析,谊模型强调了系统的异构性、容错性、扩展性以及资源的动态组合,并探讨了实际应用中关键环节的解决方案。