无线网络物理层安全认证方法

针对无线通信中认证方法存在计算复杂度高的问题,提出一种无线网络物理层安全认证(PLSA)方法。首先,利用通信双方信道互易性和唯一性的特点,通过估计信道并量化信道响应提取出高度相关但并不完全一致的信道特征序列,然后基于信息论安全和信道编码理论提出安全认证编码,借助双方信道特征序列中蕴含的私密共享信息量优势,使合法通信方正确编解码,而第三方只能靠猜测消息码字实施认证攻击,从而建立不需要密码算法的物理层安全认证框架。利用典型集理论和窃听信道模型对PLSA方法进行安全性分析,发现在码本长度趋于无穷大时,攻击性能上下界趋于一致,从而证明了物理层安全认证具备可行性。仿真结果表明,与传统认证方法相比,当安全互信息量超过64bit后,物理层认证方法的攻击成功率优于传统认证方法。     

软件口令验证的一种简易实现方法

介绍一种基于C＋＋ Buider的软件口令验证的方法，与传统的方法比较具有简易，实用和安全性好等特点。     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

基于CDMA2000 1x EV-DO的校车安全定位系统

提出了一种利用CDMA2000 1x EV-DO技术的安全定位监控系统,实现了校车的实时监控、车辆调度、短信报警综合校车安全解决方案.给出了系统结构及工作原理,并着重论述了利用CDMA2000 EVDO网络的校车定位技术.     

一种HFC数据回传通道的高级物理层技术

介绍了一种利用有线电视网络进行数据通信的回传通道的高级物理层技术，它的应用能够解决上行信道的噪声和容量问题。     

EVDO网络终端驻留频点选择方法

鉴于EVDO网络用户不断增加,网络负荷的不断提升,多载波组网的必要性日益凸显出来。终端设备所驻留的EVDO网络频点的选择是多载波网络测试的先序工作和重要环节。为了减少测试路线和AT终端上下行测试结果的误差,提出基于Hash算法的终端驻留频点选择方法,使DT测试数据能够准确真实地反映EVDO网络各频点间的网络覆盖情况,为网络建设和优化方案的制定提供较好的数据支撑。实践表明,在具体测试工作中,利用该方法,可以减少测试数据的偶然性,有效地提高了工作效率。     

一种全双工物理层安全通信波束成形的低功耗方法

在保证物理层安全的前提下,为解决传统迫零成形算法在全双工通信功耗过高的问题,提出了一种适用于全双工通信的信息波束和噪声波束联合成形的低功耗方法。首先,在高斯信道模型下对全双工基站的传输信号进行信息波束成形,实现基站与接收端的信息传输;然后,在全双工基站发射天线中添加人工噪声,并将噪声波束成形保证全双工基站的接收信息和发送信息不被偷听者窃听;最后,经过凸优化求解,将NP难的信息和噪声波束联合成形问题转化为可高效求解的凸优化问题,最终得到最优的信息和噪声波束成形向量。仿真结果表明,在上下行安全速率均为3b/(s·Hz)时,该方法可以有效降低全双工基站的功耗,与经典的迫零波束成形算法相比,均值功耗降低约18%。     

一种WF-net合理性验证方法

工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论,在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上,提出了一种验证WF-net合理性的方法.     

一种基于圆环阵天线虚拟运动的物理层安全通信方法

为了提高无线通信过程中信息被窃听的难度,提出一种基于圆环阵天线虚拟运动的物理层安全通信方法。该方法在信号发送过程中,用一组扩频码序列来控制天线的切换方式,应用天线周期性切换产生的谐波分量,构成被扩频码和方向信息同时调制的扩频信号。仿真结果表明,接收机对二维方向信息敏感,随着接收机方位角和俯仰角偏离期望接收机位置,信号的捕获和解调性能会迅速下降,当偏离超出一定的门限后,窃听接收机无法解调出发射信号。     

一种16位CPUIP核的功能验证方法

分析了IP核设计过程中功能验证的重要性,研究了CIU96B IP核设计,在此基础上提出了一个相应的验证平台设计,仿真显示该验证平台结构的实现了对该IP核的验证,有效地促进了该IP核的设计.     

基于多分支树结构的电力缴费终端数据完整性验证方案

针对电力缴费终端存在管理人员操作不当和黑客攻击等行为导致数据损坏和丢失等问题,设计了一种基于多分支哈希树结构的数据完整性防护验证方法。该方法利用基于双线性映射的签名机制和多分支树结构的特性,通过使用随机掩码技术对分块的数据进行随机化处理,以确保数据的隐私性,采用多分支树形结构实现对数据块的快速认证和快速签名,并利用哈希树节点的哈希值验证数据块的完整性,引入验证服务器对数据分块进行批量验证和证据计算,并通过设置备份服务器完成对存储数据的备份处理。实验结果表明,该方案可以有效提高对存储数据完整性的批量检测效率,并降低终端和主服务器的计算开销,同时具有较小的计算开销和较高的安全性。     

MIMO系统发射端多天线选择保障物理层安全传输

针对MIMO系统信号传输策略中单天线选择方案在增大系统保密容量方面存在的局限性,本文提出发射端多天线选择方案以保障物理层安全通信。文中首先在已知全局信道状态信息的理想条件下讨论最优多天线选择方案;然后考虑较为实际的情况,即在未知窃听方信道状态信息条件下提出次优多天线选择方案;最后,为改进次优方案在低信噪比条件下系统保密容量较小的不足,提出次优多天线选择发射功率分配方案。通过理论推导保密容量表达式和数值分析,结果表明,与现有单天线选择方案相比,所提的多天线选择方案有效地提高了系统的保密容量。     

CAN总线物理层研究与建模

在CAN总线通信过程中，物理层的作用是在不同节点之间根据其所具有的电气属性进行位的实际传输．这里，介绍CAN总线的结构特点及常用的CAN总线驱动器PCA82C250的结构特点和传输导线的特点并对二者建立了各自的数学模型．最后依据CAN总线物理层的结构特点和驱动器模型、导线模型建立了物理层的数学模型．     

基于深度学习的无线物理层关键技术研究综述

目前深度学习在通信系统的上层中得到了广泛应用,随着技术不断发展,深度学习正在向通信系统的底层推进。为解决传统算法计算效率低、复杂度高等问题,深度学习已经被应用到无线通信物理层关键技术中。对深度学习在无线通信物理层关键技术中的应用进行了综述性讨论,包括深度学习定义、深度学习神经网络介绍、基于深度学习的无线物理层关键技术等。分析表明,深度学习与无线通信系统之间存在结合点,在传统的通信模块或算法中加入用深度学习训练的可学习的参数是当前比较具有竞争力的一种设计方案,有必要对此进行深入研究。     

Physical layer impairments tolerance based lightpath provision in software defined optical network

As all-optical networks grow with ever increasing ultra-high speed, the communication quality suffers seriously from physical layer impairments ( PLIs) .The same problem still exists in software defined optical network ( SDON) controlled by OpenFlow.Aimed to solve this problem, a PLIs tol-erance based lightpath provision scheme is proposed for OpenFlow controlled optical networks.This proposed approach not only takes the OSNR model to represent those linear PLIs factors, but also in-troduces those nonlinear factors into the OSNR model.Thus, the proposed scheme is able to cover most PLIs factors of each optical link and conduct optical lightpath provison with better communica-tion quality.Moreover, PLIs tolerance model is also set up and considered in this work with some necessary extension to OpenFlow protocols to achieve better compatibility between physical layer im-pairments factors and various services connections.Simulation results show that the proposed scheme is able to get better performance in terms of packet loss rate and connection setup time.     

利用无线物理层密钥增强802.11i的安全性

针对目前IEEE 802.11i存在的不能为管理帧和控制帧提供安全保护导致DoS攻击、不能为用户提供身份隐私保护、会话主密钥MSK的丢失引起信息泄露等安全威胁,引入物理层安全方案iJam,于802.11i认证之前在移动站STA和接入点AP之间生成物理层密钥Ki.使用生成的Ki保护802.11i的管理帧和控制帧,防止DoS攻击；并在后续认证过程中对消息加密,保护用户的身份信息；参与PTK的生成,增强PTK的安全性.给出了WLAN安全性增强的方案,并对引入iJam后802.11i的安全性、增加的时延、能耗及兼容性进行了分析,结果表明,所提出的方案克服了目前802.11i存在的安全威胁,对其安全性进行了增强；但所引入时延和能耗都非常有限；同时引入Jam并不会对802.11i的框架造成影响.     

大规模MIMO多用户双向中继系统的物理层安全性能分析

对大规模多输入多输出(multiple input and multiple out,MIMO)多用户双向中继网络的物理层安全性能进行分析。系统模型中假设窃听节点可以获取第一跳用户发送信号和第二跳中继发送信号,分析大规模MIMO中继采用最大比合并和最大比传输信号处理时的系统保密速率,进一步推导出中继天线数趋于无穷时的系统渐近保密速率表达式,并进行仿真验证。理论分析和仿真结果显示,即使在不采用专门的物理层安全技术时,大规模MIMO双向中继系统也能获得可观的保密速率。证明即使当窃听节点具备多用户干扰消除能力时,通过设置合理的用户和中继发送信号功率,大规模MIMO双向中继系统仍然具有较好的物理层安全性能。     

物理隔离器用户终端的设计与实现

终端根据用户权限，切换硬盘并与物理隔离控制器交互网络请求信息，从而将用户机接入相应的网络．终端采用C8051F226单片机作为控制器，读SLE4442数据实现身份认证，控制EPM7064切换硬盘，并通过RTL8019AS与物理隔离控制器交互网络请求．测试表明：方案可行，运行稳定。     

物理化学实验数据处理软件开发研究

介绍了物理化学实验数据处理软件的设计与开发。该软件涉及15个物理化学实验的数据处理，采用Visual Basic语言编制程序、DBGrid输入数据、MATLAB函数拟合实验曲线，具有灵活方便的数据输入输出、编辑、保存功能，良好的容错性以及易于扩充更新等的特点。