Cette thèse est consacrée à l’étude de la modulation OFDM/OQAM en tant qu’alternative à la modulation OFDM. Nous traitons plus particulièrement le contexte multiusagers. De ce point de vue, les aspects de synchronisation sont déterminants. Les différentes options plus le choix de la forme d’onde sont donc examinés de ce point de vue. Un autre objectif est de montrer de manière précise comment la modulation OFDM/OQAM peut s’adapter à une transmission de type cellulaire, en prenant comme référence le système 3GPP/LTE. Les principales contributions que nous avons apportées sont : 1) Une analyse des phénomènes de désynchronisation : nous analysons l’effet de la désynchronisation, suivant les axes temporel et fréquentiel, sur les performances de l’OFDM/OQAM au récepteur. 2) Méthode de synchronisation : nous analysons une méthode de synchronisation temporelle définie dans un contexte de transmission OFDM/OQAM mono-usager et nous l’adaptons à un scénario de type multi-usagers. 3) Proposition d’un schéma d’accès multiple : nous proposons un schéma d’accès multiple basé sur la modulation OFDM/OQAM, alternatif aux techniques connues OFDMA et SC-FDMA, pour la transmission en liaison montante dans un contexte de type 3GPP/LTE. / This thesis is dedicated to the study of the OFDM/OQAM modulation as an alternative to the OFDM modulation. We treat more especially the multi-user environment. In this respect, synchronization aspects are crucial. The different options plus the choice of the waveform are examined in this point of view. Another objective is to precisely show how the OFDM/OQAM can be adapted to a cellular transmission type, taking as reference the 3GPP/LTE system. The main contributions we have made are : 1) Analysis of the desynchronization phenomena : we analyze the effect of desynchronization, according to the time and frequency axes, on the performance of OFDM/OQAM at the receiver side. 2) Synchronization method : we analyze a method of temporal synchronization defined in a single user OFDM/OQAM transmission and we adapt it to a multi-user scenario type. 3) Proposing for a multiple access scheme : we propose a multiple access scheme based on theOFDM/OQAM modulation, alternative to the known techniques OFDMA and SC-FDMA, for the UL transmission in a 3GPP/LTE context.

Proximity Services is a new feature in the 3rd Generation Partnership Project (3GPP) standard for mobile communication. This features gives the opportunity to provide services locally if the targets are sufficiently close. However, in the current version of the proposed specification, there is no protection against a malicious user tunneling messages to a remote location to give the impression of proximity. This thesis proposes solutions to protect against such a spatial replay attack and evaluates these solutions based on how the user’s integrity is preserved, their complexity, and the added overhead. It is not obvious today what the consequences of a spatial replay attack are and how serious such an attack could be. However, once the feature is deployed and people start using it, it could prove to be a major vulnerability. The methods presented in this thesis could be used to prevent spatial replay in 3GPP or similar standards proximity services. The chosen method is a geographical packet leash based on a poly-cylindrical grid for which only a certain amount of Least Significant Bits of the grid cell identifier is included in the initial Discovery Message and the rest could be used in the calculation of the Message Authentication Code. / Proximity Services är en ny funktion inom 3rd Generation Partnership Project (3GPP) standard för mobil kommunikation. Den möjliggör att erbjuda tjänster lokalt om de tänkta användarna är tillräckligt nära. I den nuvarande versionen av specifikationen så finns det dock inget som hindrar en tredje part med onda avsikter från att tunnla meddelanden från den ursprungliga platsen till en annan som inte är i närheten för att ge intrycket till mottagaren att sändaren finns nära. Det här examensarbetet föreslår lösningar för att begränsa nämnda attack och utvärderar dem efter hur de påverkar användarnas platssekretess, lösningens komplexitet och den overhead de innebär. Det är idag inte uppenbart på vilket sätt den nämnda attacken skulle kunna påverka användarna och hur allvarliga konsekvenserna kan bli, men när standarden är implementerad och eventuella användare tillkommer så skulle det kunna visa sig innebära en stor risk. Lösningarna som presenteras i det här examensarbetet skulle kunna användas för att begränsa den här typen av attacker inom 3GPPs standard eller liknande baserade på närhet. Den metoden som har valts är ett ’geographical packet leash’ baserat på ett polycylindriskt rutnät för vilket endast en bestämd mängd minst signifikanta bitar är inkluderade i ett inledande Discovery Message medans resten kan användas i beräkningen av Message Authentication Code.

Security protocols are ubiquitously used in various applications with the intention to ensure secure and private communication. To achieve this goal, a mechanism offering reliable and systematic protocol verification is needed. Accordingly, a major interest in academic research on formal methods for protocol analysis has been apparent for the last two decades. Such methods formalize the operational semantics of a protocol, laying the base for protocol verification with automatic model checking tools. So far, little work in this field has focused on protocol standardization. Within this thesis a security analysis of a novel Authenticated Key-Exchange (AKE) protocol for secure association handover between two Long-Term Evolution (LTE) base stations (which support dual-connectivity) is carried out by applying two state-of-the-art tools for automated model checking (Scyther and Tamarin Prover). In the course of this a formal protocol model and tool input models are developed. Finally, the suitability of the used tools for LTE protocol analysis is evaluated. The major outcome is that none of the two applied tools is capable to accurately model and verify the dual-connectivity protocol in such detail that it would make them particularly useful in the considered setting. The reason for this are restrictions in the syntax of Scyther and a degraded performance of Tamarin when using complex protocol input models. However, the use of formal methods in protocol standardization can be highly beneficial, since it implies a careful consideration of a protocol’s fundamentals. Hence, formal methods are helpful to improve and structure a protocol’s design process when applied in conjunction to current practices. / Säkerhetsprotokoll används i många typer av applikationer för att säkerställa säkerhet och integritet för kommunikation. För att uppnå detta mål behövs en behövs mekanismer som tillhandahåller pålitlig och systematisk verifiering av protokollen. Därför har det visats stort akademiskt intresse för forskning inom formell verifiering av säkerhetsprotokoll de senaste två decennierna. Sådana metoder formaliserar protokollsemantiken, vilket lägger grunden till automatiserad verifiering med modellverifieringsverktyg. Än så la¨nge har det inte varit stort focus på praktiska tilla¨mpningar, som t.ex. hur väl metoderna fungerar för de problem som dyker upp under en standardiseringsprocess. I detta examensarbete konstrueras en formell modell för ett säkerhetsprotokoll som etablerar en säkerhetsassociation mellan en terminal och två Long-Term Evolution (LTE) basstationer i ett delsystem kallat Dual Connectivity. Detta delsystem standardiseras för närvarande i 3GPP. Den formella modellen verifieras sedan med bästa tillgängliga verktyg för automatiserad modellverifiering (Scyther och Tamarin Prover). För att åstadkomma detta har den formella modellen implementerats i inmatningsspråken för de två verktygen.  Slutligen ha de två verktygen evaluerats. Huvudslutsatsen är att inget av de två verktygen tillräckligt väl kan modellera de koncept där maskinstödd verifiering som mest behövs. Skälen till detta är Scythers begränsade syntax, och Tamarins begränsade prestanda och möjlighet att terminera för komplexa protokollmodeller. Trots detta är formella metoder andvändbara i standardiseringsprocessen eftersom de tvingar fram väldigt noggrann granskning av protokollens fundamentala delar. Därför kan formella metoder bidra till att förbättra strukturen på protokollkonstruktionsprocessen om det kombineras med nuvarande metoder.

Pour évaluer les performances des systèmes de communications sans fil, un simulateur matériel de canal MIMO (Multiple-Input Multiple-Output) est réalisé pour les nouveaux systèmes de communication. Il fournit la vitesse de traitement nécessaire et permet d’évaluer les performances en temps réel. Il permet de comparer les différents systèmes dans les mêmes conditions souhaitées. Les objectifs de ce travail concernent principalement les modèles de canal MIMO et l'architecture de bloc numérique du simulateur matériel.Le simulateur matériel conçu peut être configuré avec les nouveaux réseaux radio-mobiles (LTE) et les réseaux locaux sans fil (WLAN 802.11ac). Il utilise des modèles de canaux standardisés, comme le TGn IEEE 802.11n et le 3GPP-LTE, ou des résultats de mesures effectuées avec un sondeur de canalMIMO conçu et réalisé dans notre laboratoire. Récemment, le sondeur de canal a été utilisé au cours de campagnes de mesure pour des environnements à bord d’un navire et de l’extérieur-vers-l’intérieur (outdoor-to-indoor). Un algorithme est proposé pour que les réponses impulsionnelles mesurées soient compatibles avec la bande des signaux LTE. En outre, le modèle de Kronecker avec des évanouissements de Rayleigh est utilisé pour obtenir un canal variant dans le temps.Le simulateur doit être capable de reproduire différents types d'environnement. Dans ce contexte, de nombreux scénarios ont été proposés. Ils considèrent le mouvement à l'intérieur et à l'extérieur pour des environnements et des réseaux hétérogènes. Un algorithme est proposé et analysé pour basculer entre les environnements d’une manière continue. Ces réseaux offrent des services à travers un réseau cellulaire à l'aide du LTE et sont capables de maintenir le service lors du passage à un réseau local sans fil WLAN 802.11ac.Deux architectures pour le bloc numérique du simulateur matériel sont proposées. La première opère dans le domaine fréquentiel en utilisant des modules de transformée de Fourier rapide (FFT/IFFT). Dans ce contexte, une nouvelle architecture fréquentielle améliorée qui fonctionne avec des signaux d'entrée de longue durée est proposée. La seconde opère dans le domaine temporel en utilisant des filtres à Réponse Impulsionnelle Finie (FIR).Les architectures ont été implémentées sur des circuits programmables (FPGA : Field Programmable Gate Array) Virtex-IV de Xilinx. Leurs occupations sur FPGA, la précision des signaux de sortie et leur latence sont analysées et comparées. De plus, une solution basée sur un facteur d’échelle automatique (ASF: Auto-Scale Factor) est introduite pour augmenter la précision des signaux de sortie. / To evaluate the performance of the emerging mobile and wireless communication systems, a Multiple-Input Multiple-Output (MIMO) channel hardware simulator is designed and implemented using the recent communication standards. It provides the processing speed required to the real-time performance evaluation and allows comparing various systems in the same test conditions. The objectives of this work mainly concern the MIMO channel models and the digital block architecture of the hardware simulator. The hardware simulator can be configured with Long Term Evolution (LTE) and Wireless Local Area Network (WLAN) 802.11ac signals. It uses standard channel models, as 3GPP LTE and TGn IEEE 802.11n. It also allows replaying measurement results obtained with the MIMO channel sounder designed and realized at our laboratory. In fact, data obtained during measurement campaigns onboard a ship and for outdoor-to-indoor environments were used. The measured impulse responses are pre-processed in order to make them compatible with LTE or 802.11ac signals. Moreover, timevarying channel models are obtained using Kronecker model with Rayleigh fading.The simulator must be able to reproduce different types of environment. In this context, many scenarios considering realistic people movements have been proposed. They involve movements in outdoor, indoor, outdoor-to-indoor or heterogeneous environments. An algorithm is proposed and described to switch between the environments in a continuous manner. Heterogeneous wireless communication systems are also considered. These systems provide service through a cellular network using LTE standard and are able to maintain the service when switching to a WLAN 802.11ac, for example.Two architectures for the digital block of the hardware simulator are proposed. The first operates in the frequency domain using Fast Fourier Transform (FFT/IFFT) modules. A new improved frequency architecture that works for streaming mode input signals is proposed. The second operates in time domain using Finite Impulse Response (FIR) filters.The architectures of the digital block of the hardware simulator are implemented on a Field Programmable Gate Array (FPGA) Virtex-IV from Xilinx. Their occupation on the FPGA, the accuracy of the output signals and their latency are analyzed and compared. Moreover, a new algorithm, based on an Auto-Scale Factor (ASF), is added for the time domain architecture. This algorithm improves the precision of the output signals.

As wireless communications is becoming an increasingly important part of ourevery day lives, the amount of transmitted data is constantly growing, creating ademand for ever-increasing data rates. One of the technologies used for boostingdata rates is carrier aggregation, which allows for wireless units to combine multipleconnections to the cellular network. However, there is a limited number ofpossible combinations defined, meaning that there is a need to search for the bestcombination in any given setup. This thesis introduces software capable of organizingthe defined combinations into tree structures, simplifying the search foroptimal combinations as well as allowing for visualizations of the connectionspossible. In the thesis, a proposed method of creating these trees is presented,together with suggestions on how to visualize important combination characteristics.Studies has also been made on different tree traversal algorithms, showingthat there is little need for searching through all possible combinations, but thata greedy approach has a high performance while substantially limiting the searchcomplexity. / I samband med att trådlösa kommunikationssystem blir en allt större del av våraliv och mängden data som skickas fortsätter att stiga, skapas en efterfrågan förökade datatakter. En av teknologierna som används för att skapa högre datatakterär bäraraggregering (carrier aggregation), som möjliggör för trådlösa enheteratt kombinera flertalet uppkopplingar mot det mobila nätverket. Det finns dockbara ett begränsat antal kombinationer definierade, vilket skapar ett behov av attsöka upp den bästa kombinationen i varje givet tillfälle. Detta arbete introducerarmjukvara som organiserar dessa kombinationer i trädstrukturer, vilket förenklarsökning efter optimala kombinationer tillsammans med möjligheten att visualiserade potentiella uppkopplingarna. I arbetet presenteras en föreslagen metodför att skapa dessa träd, tillsammans med uppslag på hur viktiga egenskaperhos kombinationerna kan visualiseras. Olika trädsökningsalgoritmer har ocksåundersökts, och det visas att det inte är nödvändigt att söka igenom hela träd.Istället visar sig giriga algoritmer ha hög prestanda, samtidigt som sökstorlekenkan hållas kraftigt begränsad.

<p>3GPP LTE (Long Term Evolution) is a project of the Third Generation Partnership Project to improve the UMTS (Universal Mobile Telecommunications System) mobile phone standard to cope with future technology evolutions. Two duplex schemes FDD and TDD are investigated in this thesis. Several computational intensive components of the baseband processing for LTE uplink such as synchronization, channel estimation, equalization, soft demapping, turbo decoding is analyzed. Cost analysis is hardware independent so that only computational complexity is considered in this thesis. Hardware dependent discussion for LTE baseband SDR platform is given according the analysis results.</p>

<p>One goal in the development of future cellular systems is to increase performance. Channel dependent scheduling can possibly contribute to a performance enhancement. It requires channel qualityinformation and uplink channel knowledge is often incomplete. This master thesis work compares channel dependent scheduling and channel independent scheduling for a Single Carrier Frequency Division Multiple Access-based uplink in time domain and time and frequencydomain assuming continuous channel quality information updates. It also evaluates different methods for providing channel quality information by investigating how the limited channel knowledge they supply affects the performance of channel dependent scheduling.</p><p>Single-cell simulations with perfect channel knowledge indicate small gains for channel dependent scheduling. Large gains are seen when performing frequency and time domain scheduling instead of only time domain scheduling. Limited channel knowledge causes performance loss for channel dependent scheduling. The performance is only slightly decreased if a method with sufficiently frequent providing of channel quality information updates is applied.</p><p>More realistic multi-cell simulations show large gains for channel dependent scheduling. It is possible that these results are influenced by link adaptation and scheduling problems due to non predictable interference when performing dynamic scheduling. In the comparison between channel dependent and channel independent scheduling the channel dependent scheduling can benefit from the fact that the selected channel dependent scheduling algorithms result in a more static scheduling than the selected channel independent scheduling algorithms do.</p>

One goal in the development of future cellular systems is to increase performance. Channel dependent scheduling can possibly contribute to a performance enhancement. It requires channel qualityinformation and uplink channel knowledge is often incomplete. This master thesis work compares channel dependent scheduling and channel independent scheduling for a Single Carrier Frequency Division Multiple Access-based uplink in time domain and time and frequencydomain assuming continuous channel quality information updates. It also evaluates different methods for providing channel quality information by investigating how the limited channel knowledge they supply affects the performance of channel dependent scheduling. Single-cell simulations with perfect channel knowledge indicate small gains for channel dependent scheduling. Large gains are seen when performing frequency and time domain scheduling instead of only time domain scheduling. Limited channel knowledge causes performance loss for channel dependent scheduling. The performance is only slightly decreased if a method with sufficiently frequent providing of channel quality information updates is applied. More realistic multi-cell simulations show large gains for channel dependent scheduling. It is possible that these results are influenced by link adaptation and scheduling problems due to non predictable interference when performing dynamic scheduling. In the comparison between channel dependent and channel independent scheduling the channel dependent scheduling can benefit from the fact that the selected channel dependent scheduling algorithms result in a more static scheduling than the selected channel independent scheduling algorithms do.

Η παρούσα διπλωματική εργασία είναι η υλοποίηση σε λογισμικό του Home Subscriber Server (HSS). Ο HSS είναι ένας εξυπηρετητής ζωτικής σημασίας για το IP Multimedia Subsystem (IMS). Αποτελεί την κύρια βάση του δικτύου που περιέχει σημαντικές πληροφορίες για τους χρήστες και επιτελεί, μαζί με κάποιες άλλες οντότητες,την πιστοποίηση και την εξουσιοδότηση των χρηστών, που επιθυμούν να χρησιμοποιήσουν το IMS δίκτυο. / This thesis is the software implementetion of a Home Subscriber Server (HSS). The HSS is a server vital for IP Multimedia Subsystem (IMS). It is the main basis of the network which contains important information for users and it performs, along with some other entities, certification and authorization of users who wish to use the IMS network.

The mobile revolution has had a huge effect on our lives in all spheres. To ensure its continued evolution patents have played a part in protecting rightsholders from infringement cases by implementers. Also, many companies in the ICT industry focusing on innovation have come together to create standards, which ensure interoperability and compatibility of devices whilst supporting an ecosystem that is beneficial for both innovators and implementers as well as the consumers. Despite challenges (hold-up and hold-out) arising, regulators and standards organizations have created policies to regulate the processes involved. This has seen the introduction of FRAND and other international agreements. Using 3GPP as an illustration, this thesis highlights the efforts that are poured in research and development to even come up with a set standard that is universally applicable. This thesis gives an analysis on the underlying principles and processes that allow for standardization. It focuses on the relationship between patents and standards and how a strong IPR system has an impact on the progress of technology innovation. This thesis will highlight the benefits that arise from an ecosystem that is predevelopment and analyses the legal cases that have been dealt with over the years. Several cases have been brought before the courts in different jurisdictions to address issues relating to standardization and the ruling have seen a change in direction on the way to approach FRAND. The landmark case Huawei v ZTE paved a way for Europe’s balanced approach on licensing agreements and now courts have realized the importance of both parties to actively participate in good faith negotiations. The same has happened in the United states where after eBay v MercExchange the courts are now realizing hold-out is equally detrimental as hold-up and can create complications in licensing. The courts are now reluctant in offering injunctive relief without efforts from both parties to perform licensing agreements. As the technological boom continues in an upward trajectory it is crucial now, more than ever for Africa to join in and leverage the available laws to benefit its SMEs and ICT industry and strengthen its IPR system. Legend has it that the stronger the protection of own technological know-how, the higher the likelihood to join formal standardization processes to leverage the value of the technological portfolios. The empirical findings establish that if African countries develop their IPR system, this can be a source of encouragement for innovators to engage in global standardization.