基于事件顺序的时间戳协议处理

在不考虑网络延迟的情况下,提出一种基于事件顺序的时间戳协议处理方法。在分析时间戳大小与事件关系的基础上,证明为使事件绑定时主体接收的时间戳是新的,状态转移必须满足时间戳关系无环性,并基于事件顺序给出时间戳关系无环性的验证算法。实例表明,该方法易于实现,且具有一定适用性。     

基于一阶逻辑的非否认协议模型

为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析，提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。在此基础上建立了一个用于分析非否认性和公平性的一阶逻辑模型，并以Fair ZG非否认协议为例进行了分析，发现了该协议的一个已知攻击，证明了模型的有效性和正确性。     

对BM模式匹配算法的一个改进

在分析BM算法的基础上，提出了一个改进的模式匹配算法QBM算法。该算法采用最长前缀的思想，在匹配后缀的时候采用一个位置移动表shift表代替BM算法中的两个移动表，提高了算法的运行效率。从理论和实践两个方面证明了该算法要优于BM算法。     

场景自适应的红外焦平面成像系统灰度超分辨技术

针对目前红外焦平面成像系统在观察目标、特别是弱小目标时,灰度分辨率不足的问题,提出了一种基于场景特性自适应的成像灰度超分辨技术。详细介绍了通过自适应调节红外焦平面成像系统中信号采样范围来进行成像灰度超分辨的方法,包括3个方面的内容:从图像中提取场景有效灰度范围,获取超分辨调整依据;结合基于LMS的自适应滤波算法,对调节依据进行滤波预测后给出调节值;利用调节值分解设置超分辨电路参数,完成针对观察目标的灰度超分辨。最后,对整体方案进行了实验验证。通过在红外焦平面系统中实验证明了场景自适应的成像灰度超分辨方法的可行性,并获得了很好的效果,灰度分辨率有很大提高,经过红外焦平面成像系统综合测试仪测试比较MRTD 值可以提高一倍以上。     

网络安全运营中心关键技术研究

网络安全运营中心(SOC)是近年在国内外迅速发展的一种网络安全管理技术.提出了一个集安全信息采集、关联分析和响应控制于一体的闭环SOC体系结构,并对其实现过程中涉及的安全事件关联信息模型、事件实时风险评估等关键技术进行了深入的讨论.实现的SOC能够显著降低检测系统的漏警和误警率,对突发安全事件做出及时有效的响应,最小化网络风险.     

一种改进的密码协议形式化模型

多重集重写MSR(multiset rewriting)模型是一种基于多重集重写的协议形式化建模方法.从目前的研究成果来看,该模型并不完善.针对其攻击者模型验证协议存在的不足,对MSR模型进行了改进,并给出了基于MSR模型的秘密性和认证性描述.实践表明,对模型的改进进一步完善了原模型.     

信息隐藏安全性研究

指出信息隐藏安全的必要条件和主要因素,给出信息隐藏安全性度量指标。根据信息隐藏通信模型,从信息隐藏的原理和面临的威胁方面分析信息隐藏安全性,给出各要素对信息隐藏安全的影响,指出载体信息、秘密信息、隐藏密钥的保密性是隐藏系统安全的必要条件,隐藏密钥的强度是制约其安全的主要因素。从抵抗攻击的角度提出用不可感知性、抗提取性、鲁棒性作为信息隐藏安全性度量指标。     

利用关联和风险评估方法减少误报和漏报

高误报和漏报率是入侵检测系统面临的主要问题。提出了一种利用关联和风险评估的方法 ,利用构建的安全关联模型 ,计算出每个安全事件 (如告警事件、系统安全日志记录等 )的实时风险值 ,对风险值较高的事件给出新的警告 ,并摈弃那些风险值较低的事件 ,从而降低漏报和误报率。实验结果表明 ,利用这种方法实现的事件关联系统能够显著降低检测系统的误报和漏报率。