基于计算语义的安全协议验证逻辑

提出了一个基于计算语义的安全协议验证逻辑,能准确描述安全协议中的各种计算行为和通信行为.设计了基于该逻辑的证明系统,能对密码学中常用加密算法的各类安全属性规范直接描述,具有密码学可靠性.发现了计算协议组合逻辑在加密算法安全性建模时存在的不可靠性,并提出了解决方法.通过对Needham-Schroeder-Lowe协议安全性的证明,验证了逻辑的证明能力.与大部分验证方法不同的是,本逻辑属于由密码学算法安全性到协议安全性的正向推理方法,兼具符号方法的易用性和计算方法的可靠性.     

信号处理与系统课程双语教学实践与思考

从教材选择、备课、授课以及授课效果评估等方面介绍了“信号处理与系统”课程双语教学改革的实施情况。教学效果的综合评估与分析表明：教学方法的变革不仅激发了学员的学习兴趣,培养了创新意识,而且提高了英语综合运用能力。本文分析和讨论了进行双语教学改革所面临的实际困难,给出了克服这些困难的一些建议,以便更好地开展双语教学。     

认知无线网络MAC协议的控制信道建模

针对认知无线网络媒体接入控制(CRN-MAC)协议的控制信道饱和问题,提出一种控制信道建模方案。引入控制信道门限的概念,根据协议超帧、控制子帧、数据子帧的时间约束关系,建立控制信道门限的定量分析模型,得出门限值的数学表达式。应用定量分析模型评价CCMAC协议的理论网络吞吐量。仿真结果验证了该模型的有效性,并给出网络吞吐量与CCMAC协议参数之间的数值关系。     

利用EPLD实现TMS320C5402与SDRAM接口

介绍了基于电可擦除可编程逻辑器件 EPLD,用VHDL语言设计实现的TMS320C5402与SDRAM的接口电路。     

基于H.221帧的同步搜索原理及其FPGA实现

本文提出了一种基于Ｈ．２２１帧的帧同步搜索方法，并详细阐述了其基本原理以及利用ＦＰＧＡ器件的实现技术。     

一种用于实时体绘制系统的自适应采样算法

本文讨论了一种用于体绘制的、支持基于空间跳跃和自适应光线终止等优化算法的高效硬件结构及一种加速半透明物体绘制的新技术.这种硬件结构用于绘制规模为256³体元的数据时可达到70Hz的帧频,但这样的帧频只是在体元的透明度都被置为0(完全透明)或1(完全不透明)的情况下才能取得.引入新的加速技术后,绘制半透明物体的帧频也可接近上述数值.新的加速技术采用自适应采样步长减少体绘制过程中冗余的体元重采样,从而使算法的复杂度和对存储器的带宽要求大大减小.新的加速技术对半透明体数据可取得高达4.7倍的加速比.采用新的加速技术需要在开始交互绘制前对体数据进行距离编码.优化后的距离编码对有8兆体元的体数据的预处理时间仅需要8~30秒.     

HIPERLAN／2性能分析

分析了高性能无线局域网的模型及性能并对组网中所要解决的问题进行了讨论。     

效率优先的主机安全属性漏洞树建模研究

攻击图、攻击树与攻击网是网络安全测试和评估的重要建模方法,但这些方法在建模过程中存在无序性以及在攻击选择上缺乏针对性。为克服以上不足,本文以目标网络中存在的漏洞为树的叶节点,以漏洞利用攻击方式为节点之间的边,对各个节点主机的安全属性分别进行攻击建模,并在综合分析攻击的成果效率和时间效率的基础上,提出了效率优先的主机安全属性漏洞树建模方法。最后,通过举例分析证实了所提方法的可行性和有效性。     

面向入侵检测的集成人工免疫系统

结合入侵检测的实际需求,提出了一种集成人工免疫系统(IAIS)。该系统结合了树突状细胞算法(DCA)和否定选择算法(NSA),DCA用于检测行为特征,NSA用于检测结构特征。通过KDD99数据集实验对该系统进行验证,并与其他方法进行了比较。实验结果表明,IAIS检测性能与经典分类算法相当。IAIS具有不依赖明确标识的数据来训练检测器,可结合行为特征和结构特征进行实时入侵检测的特点。