Internet communication protocols define the behavior rules of network components when they communicate with each other.With the continuous development of network technologies,many private or unknown network protocols ...Internet communication protocols define the behavior rules of network components when they communicate with each other.With the continuous development of network technologies,many private or unknown network protocols are emerging in endlessly various network environments.Herein,relevant protocol specifications become difficult or unavailable to translate in many situations such as network security management and intrusion detection.Although protocol reverse engineering is being investigated in recent years to perform reverse analysis on the specifications of unknown protocols,most existing methods have proven to be time-consuming with limited efficiency,especially when applied on unknown protocol state machines.This paper proposes a state merging algorithm based on EDSM(Evidence-Driven State Merging)to infer the transition rules of unknown protocols in form of state machines with high efficiency.Compared with another classical state machine inferring method based on Exbar algorithm,the experiment results demonstrate that our proposed method could run faster,especially when dealing with massive training data sets.In addition,this method can also make the state machines have higher similarities with the reference state machines constructed from public specifications.展开更多
We propose and demonstrate an optical implementation of a quantum key distribution protocol, which uses three-non-orthogonal states and six states in total. The proposed scheme improves the protocol that is proposed b...We propose and demonstrate an optical implementation of a quantum key distribution protocol, which uses three-non-orthogonal states and six states in total. The proposed scheme improves the protocol that is proposed by Phoenix, Barnett and Chefles [J. Mod. Opt. 47, 507 (2000)]. An additional feature, which we introduce in our scheme, is that we add another detection set;where each detection set has three non-orthogonal states. The inclusion of an additional detection set leads to improved symmetry, increased eavesdropper detection and higher security margin for our protocol.展开更多
This paper discusses the algorithms for achieving global states and self-stabilizationfor communication protocols. It first describes a primary algorithm including its suitability forachieving global states and limita...This paper discusses the algorithms for achieving global states and self-stabilizationfor communication protocols. It first describes a primary algorithm including its suitability forachieving global states and limitation of self-stabilization for communication protocols, and thenpresents an improved algorithm that can be suitable to achieve global states and can be also usedto self-stabilizing communication protocols. Filially, it gives the proof of correctness and analysis ofcomplexity of the improved algorithm, and verifies its availability and efficiency by illustrating anexample protocol.展开更多
在燃气计量领域,传统燃气仪表通信功耗高、电源管理策略粗放,导致电池续航能力弱,需频繁更换电池,不仅增加维护成本,还影响用户正常使用体验。对此,从主控系统低功耗控制、远距离无线电(Long Range Radio,LoRa)通信协议间歇发送、构建...在燃气计量领域,传统燃气仪表通信功耗高、电源管理策略粗放,导致电池续航能力弱,需频繁更换电池,不仅增加维护成本,还影响用户正常使用体验。对此,从主控系统低功耗控制、远距离无线电(Long Range Radio,LoRa)通信协议间歇发送、构建功耗状态切换控制模型3个环节,提出一种基于LoRa通信的燃气仪表低功耗电源管理方案。仿真实验表明,该方案可大幅降低燃气仪表功耗,延长电池续航,提升通信可靠性,为智能燃气系统稳定运行提供有效的电源管理方案。展开更多
无线传感器网络(WSNs)的运行效果对保证网络定位精度具有重要的意义。由于网络定位信息数据均可由自组网内节点随机获取,网络定位适用性在先验式路由协议链路状态路由协议(Optimized Link State Routing,OLSR)下表现更好。为了解决OLSR...无线传感器网络(WSNs)的运行效果对保证网络定位精度具有重要的意义。由于网络定位信息数据均可由自组网内节点随机获取,网络定位适用性在先验式路由协议链路状态路由协议(Optimized Link State Routing,OLSR)下表现更好。为了解决OLSR的多点中继(Multpoint Relays,MPR)节点运动速度较快的问题,为此设计了一种基于能量消耗的网络定位OLSR路由协议MPR机制评估方法,并开展仿真分析。研究结果表明:与原协议相比,节点能量消耗MPR选举生成协议表现出的性能更佳,经能量消耗MPR后形成的协议的吞吐量更大,有利于促进网络运行稳定性的提高。展开更多
链路状态路由协议(optimized link state routing,OLSR)中的多点中继(multi-point relay,MPR)节点存在运动速度过快和能量较低的问题,进而会增大节点负担和缩短网络寿命。为此设计了一种面向OLSR的卫星定位精度多点中继机制评估方法,并...链路状态路由协议(optimized link state routing,OLSR)中的多点中继(multi-point relay,MPR)节点存在运动速度过快和能量较低的问题,进而会增大节点负担和缩短网络寿命。为此设计了一种面向OLSR的卫星定位精度多点中继机制评估方法,并开展仿真分析。研究结果表明:与原协议相比,节点能量消耗MPR选举生成协议性能更佳,有利于网络运行稳定性。各节点测试时间为10 s时能量均为0.052 J,剩余能量在测试阶段不断下降,网络节点的生命周期可得到有效保障。该研究有助于卫星定位精度,对保证网络信号的传输效率具有一定的意义。展开更多
The acquisition and processing of equipment information is pivotol to control and management of the automated storage and retrieval system.The work of this paper is based on the automatic storage and retrieval experim...The acquisition and processing of equipment information is pivotol to control and management of the automated storage and retrieval system.The work of this paper is based on the automatic storage and retrieval experimental system of Wuhan University of Technology.First,the output/input flow and the control information of storage/retrieval vehicle are studied and the plotting finite state machine model of the stacking crane is established.Then,the communication protocol between the center con- trol management computer and the PLC of stacking crane is designed.Finally,the stacking crane’ s monitoring data,which in- clude operating time,running states and real-time position status,are gained by analyzing the communication protocol.The de- tailed program for the acquisition and processing of monitoring information is developed.This method is suitable for the equipment monitoring of the whole system,and provides a platform for studying the intelligent control and optimal scheduling strategies of AS/RS.展开更多
Recently the performance of the quantum key distribution （QKD） is substantially improved by the decoy state method and the non-orthogonal encoding protocol, separately. In this paper, a practical non-orthogonal deco...Recently the performance of the quantum key distribution （QKD） is substantially improved by the decoy state method and the non-orthogonal encoding protocol, separately. In this paper, a practical non-orthogonal decoy state protocol with a heralded single photon source （HSPS） for QKD is presented. The protocol is based on 4 states with different intensities. i.e. one signal state and three decoy states. The signal state is for generating keys; the decoy states are for detecting the eavesdropping and estimating the fraction of single-photon and two-photon pulses. We have discussed three cases of this protocol, i.e. the general case, the optimal case and the special case. Moreover, the final key rate over transmission distance is simulated. For the low dark count of the HSPS and the utilization of the two-photon pulses, our protocol has a higher key rate and a longer transmission distance than any other decoy state protocol.展开更多
Combining the passive decoy-state idea with the active decoy-state idea, a non-orthogonal （SARG04） decoy-state protocol with one vacuum and two weak decoy states is introduced based on a heralded pair coherent state...Combining the passive decoy-state idea with the active decoy-state idea, a non-orthogonal （SARG04） decoy-state protocol with one vacuum and two weak decoy states is introduced based on a heralded pair coherent state photon source for quantum key distribution. Two special cases of this protocol are deduced, i.e., a one-vacuum-and-one-weak-decoy-state protocol and a one-weak-decoy-state protocol. In these protocols, the sender prepares decoy states actively, which avoids the crude estimation of parameters in the SARG04 passive decoy-state method. With the passive decoy-state idea, the detection events on Bob＇s side that are non-triggered on Alice＇s side are not discarded, but used to estimate the fractions of single-photon and two-photon pulses, which offsets the limitation of the detector＇s low efficiency and overcomes the shortcoming that the performance of the active decoy-state protocol critically depends on the efficiency of detector. The simulation results show that the combination of the active and passive decoy-state ideas increases the key generation rate. With a one-vacuum-and-two-weak-decoy-state protocol, one can achieve a key generation rate that is close to the theoretical limit of an infinite decoy-state protocol. The performance of the other two protocols is a little less than with the former, but the implementation is easier. Under the same condition of implementation, higher key rates can be obtained with our protocols than with existing methods.展开更多
There is a lack of appropriate guidelines for realistic user traces, mobility models, routing protocols, considerations of real-life challenges, etc. for general-purpose mobile ad hoc networks （MANET）. In this paper...There is a lack of appropriate guidelines for realistic user traces, mobility models, routing protocols, considerations of real-life challenges, etc. for general-purpose mobile ad hoc networks （MANET）. In this paper, four laptops are used in an open field environment in four scenarios to evaluate the performances of Internet control message protocol （ICMP） based ping and transmission control protocol （TCP） based streaming video applications using optimised link state routing （OLSR） implementation in an IEEE 802.11g wireless network. Corresponding simulations are developed in Network Simulator ns-2 by setting simulation parameters according to the real experiments. Difficulties faced to regenerate real-life scenarios have been discussed and the gaps between reality and simulation are identified. A setup guideline to produce realistic simulation results has been established.展开更多
针对小型无人机自组网动态的网络拓扑环境,解决传统优化链路状态路由(optimized link state routing,OLSR)协议路由开销较大的问题,提出一种基于OLSR的小型无人机自组网低开销路由算法(low-overhead routing algorithm based on OLSR,LS...针对小型无人机自组网动态的网络拓扑环境,解决传统优化链路状态路由(optimized link state routing,OLSR)协议路由开销较大的问题,提出一种基于OLSR的小型无人机自组网低开销路由算法(low-overhead routing algorithm based on OLSR,LS-OLSR)。该算法通过引入HELLO消息、TC(topology control)消息发送间隔自适应调整机制和MPR意愿值主动更新策略,利用网络实时状态自适应调整HELLO消息发送间隔和TC消息发送间隔,减少不必要的控制消息转发,同时根据节点接收功率和数据传输时延自适应调整节点MPR意愿值,提高数据转发节点的稳定性。仿真结果表明:在小型无人机自组网模型中,改进的路由算法在不增加网络端到端时延的前提下,自组网的路由开销降低约7%,丢包率降低约17%,减少了网络数据传输的延时,提高了自组网系统的效率和性能。因此,LS-OLSR作为一种针对小型无人机自组网环境优化的OLSR协议,弥补了传统算法的不足,为无人机自组网的高效通信提供了新的解决方案。展开更多
基金This work is supported by the National Natural Science Foundation of China(Grant Number:61471141,61361166006,61301099)Basic Research Project of Shenzhen,China(Grant Number:JCYJ20150513151706561)National Defense Basic Scientific Research Program of China(Grant Number:JCKY2018603B006).
文摘Internet communication protocols define the behavior rules of network components when they communicate with each other.With the continuous development of network technologies,many private or unknown network protocols are emerging in endlessly various network environments.Herein,relevant protocol specifications become difficult or unavailable to translate in many situations such as network security management and intrusion detection.Although protocol reverse engineering is being investigated in recent years to perform reverse analysis on the specifications of unknown protocols,most existing methods have proven to be time-consuming with limited efficiency,especially when applied on unknown protocol state machines.This paper proposes a state merging algorithm based on EDSM(Evidence-Driven State Merging)to infer the transition rules of unknown protocols in form of state machines with high efficiency.Compared with another classical state machine inferring method based on Exbar algorithm,the experiment results demonstrate that our proposed method could run faster,especially when dealing with massive training data sets.In addition,this method can also make the state machines have higher similarities with the reference state machines constructed from public specifications.
文摘We propose and demonstrate an optical implementation of a quantum key distribution protocol, which uses three-non-orthogonal states and six states in total. The proposed scheme improves the protocol that is proposed by Phoenix, Barnett and Chefles [J. Mod. Opt. 47, 507 (2000)]. An additional feature, which we introduce in our scheme, is that we add another detection set;where each detection set has three non-orthogonal states. The inclusion of an additional detection set leads to improved symmetry, increased eavesdropper detection and higher security margin for our protocol.
文摘This paper discusses the algorithms for achieving global states and self-stabilizationfor communication protocols. It first describes a primary algorithm including its suitability forachieving global states and limitation of self-stabilization for communication protocols, and thenpresents an improved algorithm that can be suitable to achieve global states and can be also usedto self-stabilizing communication protocols. Filially, it gives the proof of correctness and analysis ofcomplexity of the improved algorithm, and verifies its availability and efficiency by illustrating anexample protocol.
文摘在燃气计量领域,传统燃气仪表通信功耗高、电源管理策略粗放,导致电池续航能力弱,需频繁更换电池,不仅增加维护成本,还影响用户正常使用体验。对此,从主控系统低功耗控制、远距离无线电(Long Range Radio,LoRa)通信协议间歇发送、构建功耗状态切换控制模型3个环节,提出一种基于LoRa通信的燃气仪表低功耗电源管理方案。仿真实验表明,该方案可大幅降低燃气仪表功耗,延长电池续航,提升通信可靠性,为智能燃气系统稳定运行提供有效的电源管理方案。
文摘无线传感器网络(WSNs)的运行效果对保证网络定位精度具有重要的意义。由于网络定位信息数据均可由自组网内节点随机获取,网络定位适用性在先验式路由协议链路状态路由协议(Optimized Link State Routing,OLSR)下表现更好。为了解决OLSR的多点中继(Multpoint Relays,MPR)节点运动速度较快的问题,为此设计了一种基于能量消耗的网络定位OLSR路由协议MPR机制评估方法,并开展仿真分析。研究结果表明:与原协议相比,节点能量消耗MPR选举生成协议表现出的性能更佳,经能量消耗MPR后形成的协议的吞吐量更大,有利于促进网络运行稳定性的提高。
文摘链路状态路由协议(optimized link state routing,OLSR)中的多点中继(multi-point relay,MPR)节点存在运动速度过快和能量较低的问题,进而会增大节点负担和缩短网络寿命。为此设计了一种面向OLSR的卫星定位精度多点中继机制评估方法,并开展仿真分析。研究结果表明:与原协议相比,节点能量消耗MPR选举生成协议性能更佳,有利于网络运行稳定性。各节点测试时间为10 s时能量均为0.052 J,剩余能量在测试阶段不断下降,网络节点的生命周期可得到有效保障。该研究有助于卫星定位精度,对保证网络信号的传输效率具有一定的意义。
文摘The acquisition and processing of equipment information is pivotol to control and management of the automated storage and retrieval system.The work of this paper is based on the automatic storage and retrieval experimental system of Wuhan University of Technology.First,the output/input flow and the control information of storage/retrieval vehicle are studied and the plotting finite state machine model of the stacking crane is established.Then,the communication protocol between the center con- trol management computer and the PLC of stacking crane is designed.Finally,the stacking crane’ s monitoring data,which in- clude operating time,running states and real-time position status,are gained by analyzing the communication protocol.The de- tailed program for the acquisition and processing of monitoring information is developed.This method is suitable for the equipment monitoring of the whole system,and provides a platform for studying the intelligent control and optimal scheduling strategies of AS/RS.
基金Project supported by the National Natural Science Foundation of China (Grant No 60578055)the State Key Development Program for Basic Research of China (Grant No 2007CB307001)
文摘Recently the performance of the quantum key distribution （QKD） is substantially improved by the decoy state method and the non-orthogonal encoding protocol, separately. In this paper, a practical non-orthogonal decoy state protocol with a heralded single photon source （HSPS） for QKD is presented. The protocol is based on 4 states with different intensities. i.e. one signal state and three decoy states. The signal state is for generating keys; the decoy states are for detecting the eavesdropping and estimating the fraction of single-photon and two-photon pulses. We have discussed three cases of this protocol, i.e. the general case, the optimal case and the special case. Moreover, the final key rate over transmission distance is simulated. For the low dark count of the HSPS and the utilization of the two-photon pulses, our protocol has a higher key rate and a longer transmission distance than any other decoy state protocol.
基金Project supported by the National High Technology Research and Development Program of China (Grant No. 2011AA7014061)the Science Foundation of Naval University of Engineering, China (Grant No. HGDQNJJ11022)
文摘Combining the passive decoy-state idea with the active decoy-state idea, a non-orthogonal （SARG04） decoy-state protocol with one vacuum and two weak decoy states is introduced based on a heralded pair coherent state photon source for quantum key distribution. Two special cases of this protocol are deduced, i.e., a one-vacuum-and-one-weak-decoy-state protocol and a one-weak-decoy-state protocol. In these protocols, the sender prepares decoy states actively, which avoids the crude estimation of parameters in the SARG04 passive decoy-state method. With the passive decoy-state idea, the detection events on Bob＇s side that are non-triggered on Alice＇s side are not discarded, but used to estimate the fractions of single-photon and two-photon pulses, which offsets the limitation of the detector＇s low efficiency and overcomes the shortcoming that the performance of the active decoy-state protocol critically depends on the efficiency of detector. The simulation results show that the combination of the active and passive decoy-state ideas increases the key generation rate. With a one-vacuum-and-two-weak-decoy-state protocol, one can achieve a key generation rate that is close to the theoretical limit of an infinite decoy-state protocol. The performance of the other two protocols is a little less than with the former, but the implementation is easier. Under the same condition of implementation, higher key rates can be obtained with our protocols than with existing methods.
文摘There is a lack of appropriate guidelines for realistic user traces, mobility models, routing protocols, considerations of real-life challenges, etc. for general-purpose mobile ad hoc networks （MANET）. In this paper, four laptops are used in an open field environment in four scenarios to evaluate the performances of Internet control message protocol （ICMP） based ping and transmission control protocol （TCP） based streaming video applications using optimised link state routing （OLSR） implementation in an IEEE 802.11g wireless network. Corresponding simulations are developed in Network Simulator ns-2 by setting simulation parameters according to the real experiments. Difficulties faced to regenerate real-life scenarios have been discussed and the gaps between reality and simulation are identified. A setup guideline to produce realistic simulation results has been established.
文摘针对小型无人机自组网动态的网络拓扑环境,解决传统优化链路状态路由(optimized link state routing,OLSR)协议路由开销较大的问题,提出一种基于OLSR的小型无人机自组网低开销路由算法(low-overhead routing algorithm based on OLSR,LS-OLSR)。该算法通过引入HELLO消息、TC(topology control)消息发送间隔自适应调整机制和MPR意愿值主动更新策略,利用网络实时状态自适应调整HELLO消息发送间隔和TC消息发送间隔,减少不必要的控制消息转发,同时根据节点接收功率和数据传输时延自适应调整节点MPR意愿值,提高数据转发节点的稳定性。仿真结果表明:在小型无人机自组网模型中,改进的路由算法在不增加网络端到端时延的前提下,自组网的路由开销降低约7%,丢包率降低约17%,减少了网络数据传输的延时,提高了自组网系统的效率和性能。因此,LS-OLSR作为一种针对小型无人机自组网环境优化的OLSR协议,弥补了传统算法的不足,为无人机自组网的高效通信提供了新的解决方案。
