基于VMM构建可重用验证平台

传统的验证平台编写复杂,且难以在不同设计之间重用。采用SystemVerilog支持的VMM验证方法学,并结合带约束的随机验证和覆盖率驱动的验证技术,构建可重用验证平台,完成对UART模块的验证。与直接测试方法相比,该验证平台不仅能够有效提高验证效率,而且在模块级和系统级验证过程中,能够重用该验证平台或验证组件。     

AHB总线在密码SoC中的设计与应用

为了提高密码SoC的接口的规范性能和系统的整体性能,提出了一个基于AMBA总线规范高性能总线AHB的多密码算法IP核的集成方案。首先对AHB高性能总线进行了FPGA实现,并在此基础上实现了多个密码算法IP核与AHB总线的挂接,完成了基于AHB总线的片上系统集成。最后对AHB总线和密码算法集成进行了仿真和FPGA测试,并验证了实现的正确性。     

一个改进的Salsa20流密码算法

提出了一种新的流密码算法设计结构,并基于此结构对流密码算法Salsa20进行改进.分析结果表明,改进后算法的滑动对个数从2256降为0,能有效抵抗滑动攻击,并能更好地抵抗第二原象攻击和差分攻击.实验结果表明,改进算法的软件实现速度基本保持不变.     

保密传真通信系统的仿真实现

实际的保密传真通信系统是一个功能结构复杂的系统。在建立新系统前，通常需要对系统进行建模和仿真以消除系统中潜在的瓶颈，提高系统成功的概率。文中在分析了保密传真通信系统的工作原理之后，对保密传真通信系统的信源编码模块、加解密模块和调制解调模块进行了Matlab仿真实现，仿真结果达到了预期目标。     

基于神经网络的导弹武器系统可靠性分析

介绍导弹武器系统的保障可靠性，通过Delphi方法选取与保障人员有关的5个因素，给出导弹保障可靠性的神经网络模型，构造评价导弹保障可靠性方法，并以导弹的制导系统为例进行分析，通过敏感性分析得到影响因素的相对重要度，为进行保障人员选拔和训练等提供指导信息。     

(2n,r,t)_GFNSP结构一类不可能差分对的构造方法

构造不可能差分对是进行不可能差分分析的前提。该文研究了(2n,r,t)_GFNSP结构不可能差分对的构造问题,给出了该结构的一类(4n+1)轮不可能差分对的结构形式以及计算复杂度为O(n2r10)的构造算法,针对Shirai等提出的(2n,r,t)_GFNSP结构的DSM设计策略,本文给出了相应的(4n+1)轮不可能差分对的构造方法。     

网络安全态势预测及其在智能防护中的应用

针对智能安全防护系统这一特殊应用,提出了一种以灰色GM(1,1)为原型,以Markov链为误差校正的新型网络安全态势预测算法。首先,对网络安全态势进行量化建模,通过GM(1,1)预测模型拟合网络安全态势预测曲线,然后通过真实值曲线与预测曲线之间对比建立Markov偏移概率矩阵,得到平均偏移百分比,从而对原预测值进行误差校正。实验证明：该方法预测结果与真实值较为接近,能较好地体现态势值的趋势性和波动性,且计算量小,适合智能防护中的应用。     

基于USB-Key的强口令认证方案设计与分析

针对OSPA强口令认证方案无法抵抗重放攻击、拒绝服务攻击的不足,提出了一种基于USB-Key的口令认证方案。该方案使用USB-Key进行用户口令的验证并存储认证的安全参数,能够有效地保护安全参数不被窃取。认证方案在认证过程中对用户的身份信息进行了保护,使用Hash运算计算认证参数,通过用户端和服务器端之间的认证参数的传递实现双向认证。方案的安全性分析表明,它能够防止口令猜测攻击、重放攻击、假冒攻击、拒绝服务攻击,方案系统开销小,适用于运算能力有限的终端用户。     

基于梯度与粗糙度的视频文本检测与定位

 本文提出一种视频文本检测和定位的新方法.利用差分图像像素行(列)的粗糙度特征和自适应阈值,实现对文本的快速检测.为进一步实现对文本的精确检测与定位,引入彩色梯度的方向信息,仅计算视频画面中少量关键特征点的梯度幅值,能够有效抑制图像复杂背景的干扰,同时显著提高了算法的效率.本方法对不同的视频画面质量、不同复杂程度的背景以及不同外观的文本是鲁棒的.通过对各类视频节目的大量实验验证了本文方法的有效性.