基于不可否认性和隐私保护的VANET安全框架研究

车载自组网具有极高的应用前景和研究价值,随之而来的安全和隐私保护的问题成为对其部署的主要障碍.讨论了在VANET环境下单播通讯、组内共享消息时的身份验证、恶意和虚假数据识别以及隐私保护等相关安全问题,并且针对这些问题提出了一个行之有效的安全框架.该框架考虑了VANET网络环境的特殊性,在实现数据完整性、不可否认性的同时,尽可能降低通信时延.在隐私保护方面,车辆定时的更换假名,并且以组长为代理匿名接入基于位置的服务.     

基于ARM的嵌入式多单元同步控制器的实现

在分析工业生产中多单元同步传动特点的基础上,介绍了同步传动控制器的原理。以往同步控制器大都是基于单片机或PC的,单片机限制了先进算法的使用,PC成本较高,针对这种情况,采用ARM核芯片S3C4510B作为核心微处理器,并根据控制要求扩展外围电路,给出了系统的硬件原理图、控制方法及基于uClinux的主要硬件的驱动程序。该控制器可对机台的车速在线调整。     

采用微机测量织机回转不匀率的研讨

本文在分析以往采用的测取织机不匀率6的方法的基础上,提出了一种新的方法。即采用霍尔元件从织机主轴上获取信号,利用MCS—51系列单片机及外围电路所组成的系统对该信号进行测量、分析及计算,最后将测量和计算结果进行打印,并显示计算结果。这种新方法具有硬件结构简单,测量结果较以往的测量方法更精确,抗干扰能力更强,并省去了繁琐计算等特点。     

一种基于联盟管理的高效分布式域名系统

在域名解析系统中,下级域名的命脉被上级域名所掌握,这种中心化的管理为域名解析带来了巨大的风险。以比特币等加密货币为代表的区块链则具有去中心化的特性。随着namecoin的提出,区块链开始被应用在命名系统和域名解析的领域,之后的Blockstack和ENS都提出了去中心化命名系统的解决方案。其中,Namecoin和Blockstack采用了完全去中心化的命名管理方式,产生了域名抢占问题。因此,我们将目光转向了采用小群组投票决定域名增加和删除的联盟化管理方案。在联盟化管理方案中,比如ENS的和超级账本的均存在交易空间太大的问题,在区块链本身存储代价大的背景下,存储效率将变得低下。因此,DNS系统和区块链的结合难度很大,不仅需要保证在多变的域名存储信息中保证存储总量较小,同时还需要针对域名解析实现高效的联盟化管理,这使得至今仍未有一个令人满意的去中心化域名解析系统的解决方案。为此,我们提出了ECMDNS——一个高效的基于联盟化管理的域名解析系统,既考虑到DNS区域文件具有存储量大且变换频繁的特点,又能在完全中心化和完全去中心化之间采取折衷方案,并拥有较高的时空效率及较小的存储总量。我们通过区分链上链下的存储保证在多变的域名信息中保证存储总量较小;通过群组决策投票的方式实现联盟化管理,同时优化了Hyperledger Fabric提出的混合复制模型,将空间存储效率优化到原本的1/16。并且仅需要花费1次分布式副本同步,就可以完成一项由n名成员背书对同一域名背书的事务,并在联盟化管理的基础上实现区块链交易空间性能的高效性,从而实现整体存储效率的高效性。     

基于Capstone和流敏感混合执行的自动化反混淆技术

经过多年的技术发展和攻防对抗, Android平台应用加固技术已较为成熟,防护粒度逐步从通用的DEX动态修改发展为高度定制化的Native层混淆机制,通过不断提高逆向分析的难度和工作量,增强客户端代码防护能力.针对近期崛起的OLLVM混淆加固技术,提出一种基于Capstone和流敏感混合执行的自动化反混淆决方案(CiANa). CiANa采用Capstone引擎分析基本块及其指令结构,识别散落在程序反汇编控制流程图中的真实块,并基于流敏感的混合执行确定各真实块间的执行顺序,最后对真实块汇编指令进行指令修复得到反混淆后的可执行二进制文件.实验对比结果表明, CiANa可有效恢复ARM/ARM64架构下经OLLVM混淆的Android Native文件.CiANa是目前为止首个在ARM/ARM64架构中,支持对全版本(Debug/Realse版本) OLLVM进行有效反混淆并生成可执行文件的框架,为逆向分析提供了必要的辅助支撑.     

基于博弈论和网络弱点分析的网络主动防御技术研究

针对各种网络攻击,传统的安全技术大部分属于静态的、片面的被动安全防御,各种技术孤立使用．不能很好地配合,防御滞后于攻击,缺乏主动性和对攻击的预测能力。面对这两个问题,综合使用多种防御措施,基于博弈论最优决策方法,实现了在攻击发生前,对攻击步骤做到最优预测,并做好相应的防御准备,从而获得攻防的主动权。研究中,首先分析网络弱点信息,建立弱点信息关联图和基于弱点的系统状态转化图。同时捕获当前攻击行为模式串,预测并获取攻击者准弱点利用集。然后进一步建立系统状态转换博弈树,并对树节点进行权重标识,建立博弈论可求解的矩阵博弈模型。最后,利用线性规划知识求解该博弈模型,得到可能攻击行为概率分布和相应的防御措施最优概率分布,从而达到网络主动防御的目的。     

面向多论坛的自动群发技术研究

互联网发展到今天已经非常成熟,许多传统产业在其冲击下表现出另一种形态,比如广告业,已经由传统的报纸、电视迅速过渡到了互联网上成千上万的论坛网络营销。群发技术也已发展成网络营销的一种途径。基于httpclient,采用策略者设计模式,实现了一种可扩展的面向多种论坛的自动群发技术。最后在网络上进行测试,结果表明,文中开发的群发技术可以很好地完成群发功能。     

Dmax-Ⅲ B型X射线衍射仪在耐火材料物相分析中的应用

x射线衍射仪是进行物质晶体结构分析的主要设备,能够迅速、有效、准确地进行物相分析。本文介绍了Dmax-ⅢB型x射线衍射仪的基本结构与工作原理;阐述了x射线分析技术在耐火材料物相分析（定性分析和定量分析）中的应用。     

智能型臭氧发生器的设计

介绍了以HT46R232单片机为控制器的智能型臭氧发生器的设计.臭氧发生器中产生臭氧的高压电源和风机都采用全桥逆变电路,单片机输出2路PWM信号对高压电源电压的幅值、风扇转速进行控制.充分利用单片机的片上资源实现臭氧发生器的无线射频遥控、键盘控制、LED显示、A/D温度监控等功能,使臭氧发生器具有智能化,高效产生臭氧等优点.     

热膨胀仪DIL 402PC的测控技术

介绍了热膨胀仪DIL 402PC的测量原理、设备结构和操作方法，利用标样从准确性和重复性两个方面对热膨胀仪进行了系统校验，结果表明：DIL 402PC热膨胀仪在测试中的线膨胀率偏差均在理论值的误差范围内，线膨胀系数可以重复到10^-8．