Search results for "working"
showing 10 items of 2747 documents
Low-Latency Infrastructure-Based Cellular V2V Communications for Multi-Operator Environments With Regional Split
2021
Mobile network operators are interested in providing Vehicle-to-Vehicle (V2V) communication services using their cellular infrastructure. Regional split of operators is one possible approach to support multi-operator infrastructure-based cellular V2V communication. In this approach, a geographical area is divided into non-overlapping regions, each one served by a unique operator. Its main drawback is the communication interruption motivated by the inter-operator handover in border areas, which prevents the fulfillment of the maximum end-to-end (E2E) latency requirements of fifth generation (5G) V2V services related to autonomous driving. In this work, we enable a fast inter-operator handove…
Level-Crossing Rate and Average Duration of Fades of the Envelope of Mobile-to-Mobile Fading Channels in Cooperative Networks Under Line-of-Sight Con…
2008
This paper studies the fading behavior of mobile- to-mobile (M2M) fading channels in relay-based cooperative networks under line-of-sight (LOS) conditions. Here, we assume that LOS components exist in both the direct link between the source mobile station (SMS) and the destination mobile station (DMS) as well as in the link via the mobile relay (MR). In such a propagation environment, the fading channel is referred to as the multiple-LOS second-order scattering (MLSS) channel. The fading behavior of MLSS channels is studied by analyzing the level-crossing rate (LCR) and the average duration of fades (ADF) of the received envelope. We have derived analytical expressions for the LCR, ADF, and…
Mobile radio channel models for present and future wireless communication systems
2008
From the beginnings of mobile communication, there is a high demand for realistic models for mobile fading channels. The reason for the demand is that channel models are essential for the performance evaluation, parameter optimisation, and test of mobile communication systems. Design methods for mobile fading channels are therefore of great importance for system engineers who are involved in the development of present and future mobile communication systems. In this presentation, an overview will be given about several design methodologies commonly used for the design of mobile radio channel models in present and future wireless communication systems. All presented channel models have in co…
An efficient Chinese remainder theorem based node capture resilience scheme for Mobile WSNs
2010
Node capture attack is a critical issue in Mobile WSNs where attacker-controlled replicas may act maliciously. In this paper, we present a novel Chinese remainder theorem based node capture resilience scheme that can be utilized to discover and revoke captured nodes. Moreover, our scheme can limit the ability of captured nodes to further compromise forward security, backward security, and launch collusion attacks. Detailed analysis shows that our scheme indeed achieves the expected design goals.
Information Exchange in Mobile Encounter Network
2007
In this paper we analyze an information exchange method based on information diffusion in mobile encounter networks, a form of mobile peer-to-peer networks. We utilize dual mobility model which provides support for more realistic simulations compared to mobility models based only one method of movement. The distribution of the mobile device encounter intervals are discussed and analyzed via simulation runs. The logistic model is suggested to provide reasonably accurate estimates of the information diffusion process.
Modeling of mobility and groups in inter-vehicular MANET-based networks
2007
This paper evaluates the behavior of mobile ad hoc networks when group mobility is involved. We concentrate on group mobility because road vehicles tend to form groups or fleets whose behavior depends on the behavior of the close-by vehicles. We propose four different group mobility models and present a mobility pattern generator, called grcmob that we designed to be used with the ns-2 simulator. We evaluate the performance of vehicular ad hoc networks under a wide number of scenarios using both TCP and UDP data traffic. We show that the number of groups is more important than the number of nodes and that the impact of area size is almost negligible. We also reveal that the mixture of inter…
MCMIPv6: Multicast Configuration-based Mobile IPv6 protocol
2010
International audience; Mobile IPv6 (MIPv6) and its basic extension for network mobility NEMO were initially designed to manage the mobility of device users and networks respectively while maintaining a permanent IP address. Nevertheless, the different MIPv6's experiments have shown many lacks in case of high mobility of nodes such as in vehicular networks. To overcome these lacks, many solutions have been proposed by the research community. The most famous ones are HMIPv6 and FMIPv6 tackling each a specific issue. On the one hand, FMIPv6 introduces a solution to effectively minimize the L2/L3 latency and avoid the packets losses during the handover procedure. On the other hand, HMIPv6 is e…
Network Connectivity and Area Coverage for UAV Fleet Mobility Model with Energy Constraint
2016
International audience; Our main focus through the present paper is on developing an original distributed mobility model for autonomous fleet of interconnected UAVs (Unmanned Aerial Vehicles) performing an area exploration mission. The UAVs, equipped with wireless ad-hoc capabilities, are required to optimally explore an area while maintaining connectivity with their neighboring UAVs and the base station. Because energy is a scarce resource, especially for UAVs, its wise management is quite beneficial for the network lifetime and mission success. Hence, the proposed mobility model, compared to other models in the literature, is the first to ever include the remaining energy level as decisio…
Formal Analysis and Model Checking of a Group Authentication Protocol by Scyther
2016
Scyther [1] is designed to check the security and vulnerabilities of security protocols. In this paper, we use Scyther to analyze two discrete logarithm problem (DLP) based group authentication protocols proposed in [2]. These two protocols are claimed to satisfy several security requirements, but only part of them have been checked because of the properties and limitations of Scyther. Some positive results have been gained and show that the protocols provide mutual authentication and implicit key authentication and are secure against impersonation attack. An important innovation in this paper is that we have extended the expressing ability of Scyther by giving some reasonable assumption du…
Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles
2017
International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…