Under 2017 hittades sårbarheten Blueborne som gjorde att en person kunde ta sig in i mobiltelefoner eller datorer helt obemärkt genom att enheten endast ha igång bluetooth. Bluetoothsäkerheten behövs tas på minst lika stort allvar som alla andra enheter som tillexempel wifi eller annan trådlös utrustning som kan äventyra att information hamnar i orätta händer, för skulle felaktig information nå en person med ont uppsåt så skulle konsekvenserna vara förödande för privatpersoner eller för företag. Denna uppsats behandlar frågor genom att intervjua personer på företag och genom enkätundersökning, det har påvisats att majoriteten av företag har bristande kunskap eller saknar någonting som kan varna en användare eller administratör vid en attack. Diskussion kring attackers potentiella förödelse mot företag när det kommer kring information och drift och hur det går att skydda sig.

En raison de la complexité croissante des systèmes réactifs, le test est devenu un des éléments essentiels dans le processus de leur développement. Les tests de conformité avec des méthodes formelles concernent la correction du contrôle fonctionnel, par le biais des tests d'un système en boîte noire avec une spécification formelle du système. Les techniques passives de test sont utilisées lorsque l’exécution des systèmes testés ne peut pas être perturbée ou l'interface du système n'est pas fournie. Les techniques passives de test sont fondées sur l'observation et la vérification des propriétés du comportement d'un système sans interférer avec son fonctionnement normal. Les tests contribuent également à établir les comportements anormaux pendant l’exécution sur la base de l'observation de toute déviation d'un comportement prédéterminé. L'objectif principal de cette thèse est de présenter une nouvelle approche pour la mise en place des tests passifs fondés sur l'analyse des parties contrôle et données du système sous test. Au cours des dernières décennies, de nombreuses théories et outils ont été développés pour effectuer les tests de conformité. De fait, les spécifications ou les propriétés des systèmes réactifs sont souvent modélisés par différentes variantes de Labeled Transition Systems (LTS). Toutefois, ces méthodes ne prennent pas explicitement en compte les parties données du système, étant donné que le modèle sous-jacent de LTS n’est pas en mesure de le faire. Par conséquent, avec ces approches il est nécessaire d'énumérer les valeurs des données avant la modélisation du système. Cela conduit souvent au problème de l'explosion combinatoire de l'état-espace. Pour palier à cette limitation, nous avons étudié un modèle appelé Input-Output Symbolic Transition Systems (IOSTS) qui inclut explicitement toutes les données d'un système réactif. De nombreuses techniques de tests passives prennent uniquement en considération la partie du contrôle du système en négligeant les données, ou elles sont confrontées à une quantité énorme de données du processus. Dans notre approche, nous prenons en compte la partie contrôle et données en intégrant les concepts d'exécution symbolique et nous améliorons l'analyse de traces en introduisant des techniques de slicing des traces d’exécution. Les propriétés sont décrites à l'aide d'IOSTS et nous illustrons dans notre approche comment elles peuvent être testées sur l'exécution réelle des traces en optimisant l'analyse. Ces propriétés peuvent être conçues pour tester la conformité fonctionnelle d'un protocole ainsi que des propriétés de sécurité. Au-delà de l'approche théorique, nous avons développé un outil logiciel qui implémente les algorithmes présentés dans nos travaux. Enfin, comme preuve de concept de notre approche et de l'outil logiciel, nous avons appliqué les techniques à deux études de cas réels : le protocole SIP et le protocole Bluetooth / Due to the increasing complexity of reactive systems, testing has become an important part in the process of the development of such systems. Conformance testing with formal methods refers to checking functional correctness, by means of testing, of a black-box system under test with respect to a formal system specification, i.e., a specification given in a language with a formal semantics. In this aspect, passive testing techniques are used when the implementation under test cannot be disturbed or the system interface is not provided. Passive testing techniques are based on the observation and verification of properties on the behavior of a system without interfering with its normal operation, it also helps to observe abnormal behavior in the implementation under test on the basis of observing any deviation from the predefined behavior. The main objective of this thesis is to present a new approach to perform passive testing based on the analysis of the control and data part of the system under test. During the last decades, many theories and tools have been developed to perform conformance testing. However, in these theories, the specifications or properties of reactive systems are often modeled by different variants of Labeled Transition Systems (LTS). However, these methodologies do not explicitly take into account the system's data, since the underlying model of LTS are not able to do that. Hence, it is mandatory to enumerate the values of the data before modeling the system. This often results in the state-space explosion problem. To overcome this limitation, we have studied a model called Input-Output Symbolic Transition Systems (IOSTS) which explicitly includes all the data of a reactive system. Many passive testing techniques consider only the control part of the system and neglect data, or are confronted with an overwhelming amount of data values to process. In our approach, we consider control and data parts by integrating the concepts of symbolic execution and we improve trace analysis by introducing trace slicing techniques. Properties are described using Input Output Symbolic Transition Systems (IOSTSs) and we illustrate in our approach how they can be tested on real execution traces optimizing the trace analysis. These properties can be designed to test the functional conformance of a protocol as well as security properties. In addition to the theoretical approach, we have developed a software tool that implements the algorithms presented in this paper. Finally, as a proof of concept of our approach and tool we have applied the techniques to two real-life case studies: the SIP and Bluetooth protocol

<p>This project is about the development of a application to aid deafblind people with time understanding. The application is written in C# language and have multiple functions to alarm the user. The application can alarm deafblind persons through a combination of sounds, pictures and vibrations. This makes the application very flexible and can be used by many different groups like deaf, blind and older people. This application have been evaluated by staff from <em>Mo Gård </em>resurscenter.</p> / <p>Det här arbetet handlar om att utveckla ett hjälpmedel för personer som lider av dövblindhet med en kognitiv nedsättning. Målet med projektet är att utveckla en applikation som ska hjälpa dessa personer med sin tidsuppfattning. Applikationen är skrivet i programmeringsspråket C# och har flera olika funktioner som ska ge användaren en tydligare uppfattning om tiden. Applikationens fördel är att den kan kombinera information via olika kommunikationsvägarna; visuellt, auditivt och taktilt. Det gör att applikationen är mycket flexibelt och att många olika målgrupper till exempel döva, blinda och äldre kan använda sig utav applikationen. Applikationen har utvärderats av <em>Mo Gårds hemmets</em> personal och har resulterat i positiv kritik.</p>

The area of deterministic noise cancellation in mobile radio communication systems is investigated and analyzed. Several interoperation problems in the mobile wireless radio space are identified and interference concerns for the Bluetooth - WLAN networks are characterized and quantified in the physical layer. A mathematical framework has been created for describing interference in the 2.4 GHz band. An adaptive noise suppression system has been developed that is able to alleviate the encroachment of the aggressor signal on the victim without sacrificing any of the original signal. This system is demonstrated to improve the victim SNR in a spread spectrum communication scenario. The research is extended to construct an interference canceller that is easy to assimilate into existing RF front-ends. A low-power small form-factor analog active canceller has been designed in 0.18-ìm Si-CMOS IC technology that delivers adequate noise suppression performance while operating in the RF domain. This includes novel implementations of phase rotator circuits based on delay interpolation and an integrated low-current quadrature modulator-based continuously variable analog phase shifter. This canceller is capable of up to 30 dB of in-band cancellation for the Bluetooth - WLAN problem. Other versions of the canceller are configured to protect GPS and DVB-H receivers from unintentional radiators transmitting in the vicinity. These demonstrate noise mitigation of at least 15 dB in their respective bands while generating very low broadband noise at the output. A simple low-power mixed-signal automatic control mechanism is also developed to operate the canceller adaptively. The work described in this dissertation advances the state-of-the-art in the area of mobile wireless radio coexistence.

Anders Sjöblom och Mats Larson är två golfspelare och ingår som beställare till detta projekt. De har kommit fram med ett koncept för en golfvagn som automatiskt följer användaren. Denne bär en kompakt GPS och Bluetooth enhet som kommunicerar med en mikroprocessor monterad på vagnen. Kommunikationen sker över Bluetooth och mikroprocessorn beräknar den optimala färdvägen utifrån insamlade GPS‐data och styr vagnens två motorer, en för varje hjul. Vagnen har även två knappar för styrning av funktionerna som systemet tillhandhåller. Dessa är AV/PÅ som stänger av/startar systemet, PAUS/FORTSÄTT som stannar vagnen när föraren vill röra sig fritt utan att logga sin position och vid Fortsätt börjar vagnen följa användaren igen. Själva vagnen finns redan som en färdig produkt, dock med begränsade möjligheter till styrning, den kan endast röra sig rakt fram. Det är kritiskt att vagnen följer samma väg som användaren, dvs. systemet skall inte försöka beräkna den snabbaste eller effektivaste vägen, eftersom det kan finnas hinder där. / Anders Sjöblom and Mats Larson are two golf players that have come up with a concept for a golf cart which automatically follows the player, who carries a compact GPS and Bluetooth unit enabled to communicate with a microprocessor mounted on the cart. Bluetooth is used as a wireless communication protocol and the microprocessor calculates optimal path from the recorded GPS‐data and runs the cart‐fitted engines, one for each wheel. The cart is also equipped with two push‐ buttons for user interaction. One is ON/OFF which starts and shuts‐ down the system, and PAUSE/CONTINUE which puts the cart on hold or re‐enables the following function. The cart is available to buy as a product, but with very limited steering functionality, it can only move forward. It is critical that the cart takes exactly the same route as the player and the system should not try to calculate the fastest or most efficient route because obstacles can occur.

Made available in DSpace on 2014-12-17T15:47:52Z (GMT). No. of bitstreams: 1 KaioAAD_DISSERT.pdf: 2396419 bytes, checksum: 9761258d74c5a831492561ccf81ab7b3 (MD5) Previous issue date: 2010-05-10 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Education is one of the oldest activities practiced by man, but today it is still performed often without creating dialogues and discussions among all those involved, and students are passives agents without interactivity with teachers and the content approached. This work presents a tool used for providing interactivity in educational environments using cell phones, in this way, teachers can use technology to assist in process of education and have a better evaluation of students. The tool developed architecture is shown, exposing features of wireless communication technologies used and how is the connection management using Bluetooth technology, which has a limited number of simultaneous connections. The details of multiple Bluetooth connections and how the system should behave by numerous users are displayed, showing a comparison between different methods of managing connections. Finally, the results obtained with the use of the tool are presented, followed by the analysis of them and a conclusion on the work / O ensino ? uma das atividades mais antigas exercidas pelo homem, por?m hoje ela ainda ? realizada muitas vezes sem a cria??o de di?logos e debates entre todos os envolvidos, sendo os alunos muitas vezes agentes passivos, n?o havendo interatividade com os professores e o conte?do abordado. Este trabalho apresenta uma ferramenta utilizada para prover interatividade em ambientes educacionais por meio de celulares, desta forma professores podem fazer uso da tecnologia para auxiliar no ensino e ter uma melhor avalia??o dos alunos. A arquitetura da ferramenta desenvolvida ? mostrada, trazendo caracter?sticas de tecnologias de comunica??o sem fio utilizadas e como ? feito o gerenciamento de conex?es atrav?s de Bluetooth, que possui um n?mero limitado de conex?es simult?neas. Os detalhes das m?ltiplas conex?es Bluetooth e como o sistema deve se comportar mediante in?meros usu?rios s?o exibidos, mostrando um comparativo entre diferentes m?todos de gerenciamento das conex?es. Por ?ltimo, s?o mostrados os resultados obtidos com o uso da ferramenta, seguido pela an?lise dos mesmos e uma conclus?o sobre o trabalho desenvolvido

For this project, we investigate different methods of adding location-based security to a WLAN network. A literature review is done toconfirm the current state-of-the-art on the subject, and we scrutinizethe available methods based on practicality, security, and simplicity.We then further delve into a few specific methods with good prop-erties based on the prior review, to confirm if these are suitable fora proof-of-principle implementation. Finally, if a suitable method isfound, we develop the proof-of-principle to show that the system canwork in practice.

Mobile virtual reality (VR) headsets have been becoming more and more popular. However, the cheapest headsets do not come with any controllers and the ones that do include controllers only uses sensors for rotation, not translational movement. This thesis project aims to develop a prototype of a Bluetooth connected controller for the mobile VR headsets. The controller is based on a MetamotionC board produced by mbientlab Inc., which comes with Bluetooth Low Energy (BLE), an ARM M4 microcontroller, an miniature inertial measurement unit (IMU) sensor (containing a 3-axis accelerometer, a 3-axis gyroscope, and a 3-axis magnetometer and a barometer), a thermometer and other sensors. The only sensors used in this project are the accelerometer, gyroscope, and magnetometer. As a finished prototype, the MetaMotionC is placed on a glove together with five Aruco markers; a 3D model of a hand intended to use as an avatar of the glove was made with Blender and MakeHuman; and a VR room to use the controller with was created in Unity. The 3D hand responds to rotational and translational movements via Bluetooth connection to the IMU sensor on the MetaMotionC. The smartphone camera is used to detect the glove's position with Aruco markers, and the 3D hand is moved to a corresponding location in the VR room. The OpenCV library is used for image processing. The sensor data is filtered with low-pass, median, and thresholding to improve the measurement accuracy. Zero velocity update is used to reset the drift of the integrated accelerations. To reduce the integration error, Romberg's method with a floating window is implemented in Matlab. However, it did not reduce the error enough to make a difference. Thus, the result was unreliable.

The new Bluetooth standard (Bluetooth 5.1) contains direction finding specifications. Specifications for received signal strength indicator(RSSI) using measures of signal strength in order to give a sense of how far away an object is has been present in earlier versions. It will now be accompanied with the possibility of angle of arrival estimation(AoA). AoA estimation in Bluetooth utilizes antenna arrays. Antenna arrays are formations of many individual antenna elements working together. The difference between the measured data at each antenna is dependent on the orientation and position of the antenna elements as well as on phase of an incoming electromagnetic signal. By looking at the phase shifts between the antenna elements in an antenna array it is possible to find an estimation of the direction of where the incoming signal is coming from.  The goal of this thesis is to investigate if the NicheTM antenna(concept developed by Proant AB) is applicable for AoA estimation. In the project we have simulated the different characteristics of the Niche antenna and done extensive simulations of different types of configurations of an Niche antenna array. The commercial electromagnetics simulator CST MW studio suite has been used for simulations. A formation that works well with regards to stability and mutual coupling has been found. The simulated results have also been confirmed by measurements on a mechanically constructed antenna array. Measurements have been carried out in an anechoic chamber. We have done full radiation pattern measurements of the antenna array. The antenna array that we have created can estimate the angle of arrival of an incoming signal with an accuracy of 2.7o with a certainty of one standard deviation. For increased accuracy in the AoA estimation a MATLAB code utilizing the MUSIC(MUltiple SIgnal Classification) algorithm with our variant of the steering vector has been written.

Internet of Things utvecklas och växer konstant. Det blir allt vanligare att applikationer och enheter kopplas samman via nätverk. En av teknikerna som används för att trådlöst sammankoppla enheter är Bluetooth Low Energy. Preferenser för kvaliteten i en kommunikation kan variera. Det är därför viktigt att utföra prestandamätningar för att veta vilka fördelar och nackdelar en nätverksteknik har.  Detta examensarbete handlar om prestandamätningar vid datasändningar mellan mobila enheter och trådlösa sensorer, och övervakning av parametrar som fås under mätningarna. En metod med monitoreringspaket inspirerad från tidigare forskning, utformades och implementerades i ett system för Bluetooth Low Energy, vilken därefter har utvärderats.  Resultatet blev att två system skapades som visade dataförluster, fördröjningsvariation och genomströmning, löpande på en mobil enhet. Det ena systemet använde metoden med monitoreringspaket. Det andra systemet använde en egengjord metod som gjorde mätningar med hög precision, men som ställde högre krav på funktioner och prestanda på sensornoden, och på den mobila enheten. Experiment med hjälp av systemen utfördes och resulterande värden analyserades. / Internet of Things develops and grows constantly. It becomes increasingly common that applications and units are connected through a network. One of the technologies used for wirelessly linking together units is Bluetooth Low Energy. Preferences for the quality of a connection can vary. It is therefore important to conduct measurements of performance in order to know advantages and disadvantages that a networking technology has.  This thesis is about measurements of performance during data transfers between mobile devices and wireless sensors, as well as monitoring parameters that are given during the measurements. One method using monitoring packets inspired from previously made research, were designed and implemented in a system for Bluetooth Low Energy, which was then evaluated. The result was that two systems were created that presented data loss, delay variation and throughput, continuously on a mobile device. One system used the method with monitoring packets. The other system used a self-made method which made measurements with high precision, but that places higher demands on functions and performance of the sensor node, and on the mobile device. Experiments were conducted by using the systems and resulting values were analyzed.