模型检测中可变攻击者模型的构造

提出了一个可变攻击者模型构造方案. 该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度. 定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型. 由于攻击者行为可任意组合,故实现了攻击者模型的可变性. 可变攻击者模型保证了模型检测工具对协议分析的效率和准确性.     

CDMA体制长周期测距码的编码方法与相关特性

通过对测距伪随机码的常用序列及性能研究，针对采用码分多址体制的卫星定位系统的将点，定义了长周期测距码，分析了其相关性的特点和编码的基本要求，并提出了一种编码方案，给出了局部互相关值的最大值的理论下限和部分仿真数据．这些结论同样适用于长周期的直接扩频序列．     

一种新型基于环上带误差学习问题的认证密钥交换方案

利用格上判定带误差学习问题(Ring-DLWE)困难假设,该文基于Peikert的调和技术构造认证密钥交换方案。在标准模型下,该方案是CK模型中可证明安全的,并达到弱前向安全性(wPFS)。与现有的基于LWE的密钥交换方案相比,该方案使用平衡的密钥提取函数,因而保护共享会话密钥,同时因其基于格中困难问题,所以能抵抗量子攻击。     

GALILEO频率结构和信号设计的分析

描述并分析了由欧盟GALILEO信号特别工作组提出的GALILEO全球卫星导航定位系统的频率结构和信号设计。     

粉煤灰在水泥混凝土路面中的应用及推广

对混凝土掺入粉煤灰的性能进行了研究,通过大量的施工与试验证明,在高速公路的水泥混凝土路面中掺入粉煤灰可代替部分水泥及细集料,改善和易性,降低水化热,具有良好的技术经济效果,且有利于滑模摊铺施工。     

高效的基于ID的无证书签名方案

通过利用gap diffie-hellman(GDH)群,提出了一种高效的基于ID的无证书签名方案,该方案通过将2个部分公钥绑定相同的一个ID,从而解决了密钥托管问题.在这个方案中,私钥生成中心(PKG,private key generator)不能够伪造合法者的签名,因为只能生成一部分私钥,其安全性依赖于CDHP(computational diffie-hellman problem).在随机预言机模型下,新方案被证明能够抵抗适应性选择消息攻击和ID攻击下的存在性伪造.该方案不仅解决了密钥托管问题而且与许多已有的方案相比具有较高的效率.     

关于认证码的一些特征

刻画了双完备认证码的结构;给出了ｒ阶完备认证码的定义及判定ｒ阶完备认证码的一个充要条件,并由组合设计构造了ｒ阶完备认证码．     

一种新型无人机数据链抗压制干扰技术的研究

从提高无人机数据链的抗干扰性能出发,在研究跳频扩频(FHSS)、跳频正交频分复用(FH-OFDM)基础上,结合正交码时分多子信道扩谱调制(OC-TDMSCSSM)提出了一种单一正交码跳频正交频分复用(SOCFH-OFDM)新的抗干扰方案,建立了数学模型,推导了抗干扰性能误码率公式.仿真结果表明,在莱斯信道下,当误码率达到10-5时,系统的抗宽带干扰和抗窄带干扰性能均比OC-TDMSC-SSM系统要高出1.5 dB左右.     

32%滴酸·草甘膦对非耕地杂草防除药效研究

为明确32%滴酸·草甘膦可溶液剂对防除非耕地杂草的用药量、防除对象、防除效果、使用适期和周围环境安全性的影响,按昭《农药田间药效试验准则(一)》和广西壮族自治区农业科学院植物保护研究所农药田间药效试验标准操作规程进行了除草剂防非耕地杂草田间药效试验。试验结果表明,32%滴酸·草甘膦在1 215～2 430 g/hm²的剂量下,兑水675 L/hm²,在杂草旺盛生长期进行茎叶喷雾处理,能够有效防除非耕地大部分杂草,对非耕地杂草防除效果良好。     

地层测试新技术在油田勘探开发中的应用

以地层测试新技术在石油勘探开发中的应用为研究对象,首先对地层测试技术的作用价值进行了简单的介绍,随后围绕如何进行以地层测试新技术的应用,基于不同的测试场景,对相应技术应用进行了探讨分析,希望能够为相关研究提供一定参考.