MLAS: Multiple level authentication scheme for VANETs

The vehicular ad hoc network (VANET) is an emerging type of network which enables vehicles on roads to inter-communicate for driving safety. The basic idea is to allow arbitrary vehicles to broadcast ad hoc messages (e.g. traffic accidents) to other vehicles. However, this raises the concern of security and privacy. Messages should be signed and verified before they are trusted while the real identity of vehicles should not be revealed, but traceable by authorized party. Existing solutions either rely too heavily on a tamper-proof hardware device, or do not have an effective message verification scheme. In this paper, we propose a multiple level authentication scheme which still makes use of tamper-proof devices but the strong assumption that a long-term system master secret is preloaded into all tamper-proof devices is removed. Instead the master secret can be updated if needed to increase the security level. On the other hand, messages sent by vehicles are classified into two types – regular messages and urgent messages. Regular messages can be verified by neighboring vehicles by means of Hash-based Message Authentication Code (HMAC) while urgent messages can only be verified with the aid of RSUs nearby by means of a conditional privacy-preserving authentication scheme. Through extensive simulation, we show that our multiple level authentication scheme is much more efficient that those RSU-aided authentication scheme as long as the proportion of urgent messages is less than 100%. The verification delay required can be up to 110 times smaller than other protocols. Our implementation shows that batch verification may not be as efficient as expected. In case without batch verification, the verification delay required by our scheme can even be up to 173 times smaller.     

目标飞行特性与机载预警雷达探测威力关系研究

基于机载预警雷达的威力与空中目标飞行速度和飞行方向之间的关系,说明了目标回波信号落入雷达探测清洁区、副瓣杂波区和盲区的条件,并分析了机载预警雷达不同方位的探测威力。提出一种速度盲区的表示方法,可简单地计算出速度盲区的比例。     

一种可信计算平台及信任链传递验证方法

信任链是可信计算机系统的重要部分,它保证计算机系统从可信源头至系统各组件的可信,但存在信任链建立过程的信任度逐层衰减问题。文中通过可信平台控制模块授权CPU进行链式度量,同时TPCM尾随CPU对信任链进行实时的、随机的和分块的度量,然后在平台信任链中嵌入检查点,统计并检查各块运行时间,从而判断各信任节点是否被篡改。该方法提高了信任链建立和验证的实时性,尤其可以防御针对信任链的时间差攻击。     

智能雷达的内涵与外延辨析

从分析智能以及人工智能的内涵和特征入手,探讨了新一代人工智能技术的发展及其军事应用,基于仿生学的观点提出了智能雷达的概念定义,初步梳理了智能雷达的技术体系和分级分类标准;对比分析了智能雷达与认知雷达、软件化雷达、无人值守雷达的主要特点,分别辨析了相应的区别和联系。文中是对智能雷达内涵和外延开展的系统性研究,对于把握智能雷达的本质、明确研究重点、制定发展路线具有先导意义。     

机械工程学科2012年度科学基金管理工作综述

综述了2012年度国家自然科学基金委员会机械工程学科科学基金项目的评审及资助情况;以机械摩擦学与表面技术和高能束制造两个典型领域申报项目为例,对申请热点进行了分析。回顾了国家自然科学基金委员会科学处在促进学术交流与合作、重大项目立项、重大研究计划项目中期评估和青年人才队伍培养等方面的管理举措;总结了科学基金项目研究进展与人才培养成果情况。     

大功率半导体激光列阵单光纤耦合技术

利用阶梯反射镜整形技术和偏振合束及波长合束技术成功将两只波长为808nm和两只波长为980nm的40W大功率半导体激光器光束进行混合,最后得到输出功率为95.8W、耦合效率为60%的双波长大功率半导体激光列阵单光纤耦合模块,光纤芯径为400μm,数值孔径为0.22.     

基于软件架构设计的多源信息融合系统

以往对多源信息融合系统的研究大多是基于某种算法,针对某一层级或某一类传感器数据的特征信息进行分析、处理和综合。为优化多源信息融合系统综合处理及集成能力,针对多级多源信息融合处理系统进行领域工程分析,提出了该领域的通用软件架构模型,对软件构件化技术在多级多源信息融合系统中的应用进行了初步探索。     

基于改进故障模型的CAN总线调度分析

鉴于数据传输总线的诸多优点,建立总线式体制是现代导弹控制系统互联方式发展的必然趋势。CAN总线是一种设计优良的总线,但缺点在于其事件驱动型的协议导致无法建立CAN总线的可靠调度策略。Tindell给出的基于最小间隔故障模型的WCRT调度分析方法在强干扰环境中会导致乐观偏差,因此需要建立一种CAN总线在复杂环境中的更加准确的调度分析方法以指导可靠的系统设计。基于此目的,给出了一种基于广义泊松过程的改进故障模型,并在此基础上建立了CAN总线消息的调度分析。最后将该调度分析应用于导弹控制系统,并分析了对总线调度能力构成影响的因素。     

通用型雷达动态杂波图对消系统

由于大多数非相参体制雷达没有杂波对消能力或杂波对消能力较差,一旦各类飞行目标进入地杂波区,雷达就难于观测目标。为了提高现役雷达的反地杂波性能,使其能够探测地杂波中的飞行目标,研制了通用型雷达动态杂波图对消系统。文中简述了该系统的组成、基本工作原理、技术难点和特点,以及试验、使用情况和结论。     

提升小波去地杂波方法

风廓线雷达去地杂波一直是一个较难解决的问题,基于提升小波理论的滤除风廓线雷达地杂波信号具有很多优势,例如抑制杂波效果好、运算量小、易于工程实现等。介绍了提升小波理论,然后分析风廓线雷达信号特征,提出提升小波去地杂波方法,最后给出仿真结果和结论。这种方法将被应用于某型在研边界层风廓线雷达实时信号处理中。