Modelling a multichannel security protocol to address Man in the Middle attacks

Unlike wired networks, wireless networks cannot be physically protected, mak ing them greatly at risk. This study looks into advanced ways of implementing security techniques in wireless networks. It proposes using model checking and the orem proving to prove and validate a security protocol of data transmission over multi-channel in Wireless Local Area Networks (WLANs) between two sources. This can help to reduce the risk of wireless networks being vulnerable to Man in the Middle (MitM) attacks. We model secure transmission over a two-host two-channel wireless network and consider the transmission in the presence of a MitM attack. The main goal of adding an extra channel to the main channel is to provide security by stopping MitM from getting any readable data once one of these channels has been attacked. We analyse the model for vulnerabilities and specify assertions for secure data transmission over a multi-channel WLAN. Our approach uses the model analyser Alloy which uses a Satisfiability (SAT) solver to find a model of a Boolean formula. Alloy characterizations of security models are written to analyse and verify that the implementation of a system is correct and achieves security relative to assertions about the model of our security protocol. Further, we use the Z3 theorem prover to check satisfiability using the Satisfiability Modulo Theories (SMT) solver to generate results. Using Z3 does not involve high costs and can help with providing reliable results that are accurate and practical for complex designs. We conclude that, based on the results we achieved from analysing our pro tocol using Alloy and Z3 SMT solver, the solvers complement each other in their strengths and weaknesses. The common weakness is that neither can tell us why the model is inconsistent, if it is inconsistent. We suggest that an approach of be ginning with modelling a problem using Alloy and then turning to prove it using Z3, increases overall confidence in a model

NASA Tech Briefs Index, 1977, volume 2, numbers 1-4

Announcements of new technology derived from the research and development activities of NASA are presented. Abstracts, and indexes for subject, personal author, originating center, and Tech Brief number are presented for 1977

Biomedical Engineering

Biomedical engineering is currently relatively wide scientific area which has been constantly bringing innovations with an objective to support and improve all areas of medicine such as therapy, diagnostics and rehabilitation. It holds a strong position also in natural and biological sciences. In the terms of application, biomedical engineering is present at almost all technical universities where some of them are targeted for the research and development in this area. The presented book brings chosen outputs and results of research and development tasks, often supported by important world or European framework programs or grant agencies. The knowledge and findings from the area of biomaterials, bioelectronics, bioinformatics, biomedical devices and tools or computer support in the processes of diagnostics and therapy are defined in a way that they bring both basic information to a reader and also specific outputs with a possible further use in research and development

Marshall Space Flight Center Research and Technology Report 2019

Today, our calling to explore is greater than ever before, and here at Marshall Space Flight Centerwe make human deep space exploration possible. A key goal for Artemis is demonstrating and perfecting capabilities on the Moon for technologies needed for humans to get to Mars. This years report features 10 of the Agencys 16 Technology Areas, and I am proud of Marshalls role in creating solutions for so many of these daunting technical challenges. Many of these projects will lead to sustainable in-space architecture for human space exploration that will allow us to travel to the Moon, on to Mars, and beyond. Others are developing new scientific instruments capable of providing an unprecedented glimpse into our universe. NASA has led the charge in space exploration for more than six decades, and through the Artemis program we will help build on our work in low Earth orbit and pave the way to the Moon and Mars. At Marshall, we leverage the skills and interest of the international community to conduct scientific research, develop and demonstrate technology, and train international crews to operate further from Earth for longer periods of time than ever before first at the lunar surface, then on to our next giant leap, human exploration of Mars. While each project in this report seeks to advance new technology and challenge conventions, it is important to recognize the diversity of activities and people supporting our mission. This report not only showcases the Centers capabilities and our partnerships, it also highlights the progress our people have achieved in the past year. These scientists, researchers and innovators are why Marshall and NASA will continue to be a leader in innovation, exploration, and discovery for years to come

Design of communication systems based on broadband sources for fiber and free space optical links

[ES] Las comunicaciones ópticas inalámbricas (OWC) constituyen una tecnología muy prometedora para el desarrollo de futuras comunicaciones inalámbricas. De hecho, ha despertado un interés creciente entre los investigadores y varias empresas de todo el mundo trabajan actualmente en el desarrollo de redes inalámbricas de muy alta velocidad. Las comunidades científica e industrial consideran la OWC como una tecnología complementaria en sus diversas formas: comunicaciones ópticas en el espacio libre (FSO), comunicaciones de luz visible (VLC) o fidelidad de la luz (Li-Fi). El espectro óptico ha sido considerado durante muchos años como una gran oportunidad para las comunicaciones inalámbricas, especialmente debido a la saturación del espectro de radiofrecuencia (RF). Esta disertación trata del uso de fuentes de banda ancha en sistemas de transmisión de luz visible (VLC), así como en sistemas de transmisión en el espectro infrarrojo por fibra óptica. En el trabajo de investigación realizado se pueden distinguir tres partes: En la primera parte, se considera el estudio y la simulación de componentes de Diodos Emisores de Luz (LED) con el software WIEN2k centrándose en las propiedades ópticas y eléctricas de los elementos II-VI. La segunda parte trata del diseño, la implementación y las pruebas de diferentes prototipos de comunicación VLC para la transmisión analógica y digital en modo simplex y semidúplex. Hemos demostrado un sistema OWC empleando una fuente de banda ancha (LED) para la transmisión no sólo de datos, sino también para la transmisión inalámbrica de energía. Además, se aborda el problema de la sincronización y la detección del nivel "1" o "0" de un bit en los sistemas de comunicación inalámbrica óptica implementados que surge como consecuencia de la atenuación de la luz a lo largo de la distancia y al problema de la pérdida de línea de visión (NLOS) entre el emisor y el receptor. Para hacer frente a este problema, se ha proporcionado un protocolo de comunicación que garantiza la transmisión fiable de datos digitales con un algoritmo de detección de nivel de bits adaptativo y se ha demostrado su eficacia mediante la transmisión de textos e imágenes. Además, esta tesis aporta una solución para la implementación de transmisores multiplexados en redes con división de longitud de onda (WDM) para formatos de modulación con multiplexación por división de frecuencia ortogonal (OFDM) basados en el uso de fuentes de banda ancha en el espectro infrarrojo para redes de fibra bidireccionales centralizadas. A pesar de las limitaciones impuestas por la dispersión cromática en el uso de este tipo de fuentes ópticas, la inclusión de ciertas estructuras antes de la detección permite la transmisión de señales OFDM en enlaces ópticos. En este trabajo se ha demostrado experimentalmente la reutilización de portadoras, la asignación dinámica de ancho de banda y la transmisión de señales OFDM multibanda mediante el uso de fuentes ópticas de banda ancha en redes WDM. Los principales resultados obtenidos en cada parte de esta tesis doctoral muestran los procedimientos de estudio, la eficacia de las soluciones propuestas y las limitaciones encontradas.[CA] Les comunicacions òptiques sense fils (OWC) constitueixen una tecnologia molt prometedora per al desenvolupament de futures comunicacions sense fils. De fet, ha despertat un interés creixent entre els investigadors i diverses empreses de tot el món treballen actualment en el desenvolupament de xarxes sense fils de molt alta velocitat. Les comunitats científica i industrial consideren la OWC com una tecnologia complementària en les seues diverses formes: comunicacions òptiques en l'espai lliure (FSO), comunicacions de llum visible (VLC) o fidelitat de la llum (Li-Fi). L'espectre òptic ha sigut considerat durant molts anys com una gran oportunitat per a les comunicacions sense fils, especialment a causa de la saturació de l'espectre de radiofreqüència (RF). Aquesta dissertació tracta de l'ús de fonts de banda ampla en sistemes de transmissió de llum visible (VLC), així com en sistemes de transmissió en l'espectre infraroig per fibra òptica. En el treball de recerca realitzat es poden distingir tres parts: ¿ En la primera part, es considera l'estudi i la simulació de components de Díodes Emissors de Llum (LED) amb el software WIEN2k centrant-se en les propietats òptiques i elèctriques dels elements II-VI. ¿ La segona part tracta del disseny, la implementació i les proves de diferents prototips de comunicació VLC per a la transmissió analògica i digital de manera simplex i semidúplex. Hem demostrat un sistema OWC emprant una font de banda ampla (LED) per a la transmissió no sols de dades, sinó també per a la transmissió sense fil d'energia. A més, s'aborda el problema de la sincronització i la detecció del nivell "1" o "0" d'un bit en els sistemes de comunicació sense fil òptica implementats, que sorgeix a conseqüència de l'atenuació de la llum al llarg de la distància i al problema de la pèrdua de línia de visió (NLOS) entre l'emissor i el receptor. Per a fer front a aquest problema, s'ha proporcionat un protocol de comunicació que garanteix la transmissió fiable de dades digitals amb un algorisme de detecció de nivell de bits adaptatiu i s'ha demostrat la seua eficàcia mitjançant la transmissió de textos i imatges. ¿ A més, aquesta tesi aporta una solució per a la implementació de transmissors multiplexats en xarxes amb divisió de longitud d'ona (WDM) per a formats de modulació amb multiplexació per divisió de freqüència ortogonal (OFDM) basats en l'ús de fonts de banda ampla en l'espectre infraroig per a xarxes de fibra bidireccionals centralitzades. Malgrat les limitacions imposades per la dispersió cromàtica en l'ús d'aquest tipus de fonts òptiques, la inclusió d'unes certes estructures abans de la detecció permet la transmissió de senyals OFDM en enllaços òptics. En aquest treball s'ha demostrat experimentalment la reutilització de portadores, l'assignació dinàmica d'amplada de banda i la transmissió de senyals OFDM multibanda mitjançant l'ús de fonts òptiques de banda ampla en xarxes WDM. Els principals resultats obtinguts en cada part d'aquesta tesi doctoral mostren els procediments d'estudi, l'eficàcia de les solucions proposades i les limitacions trobades.[EN] Optical wireless communication (OWC) is a very promising technology for future wireless communications developments. It has attracted increasing interest from researchers and several companies around the world are currently working on the development of very high-speed wireless networks. The scientific and industrial communities believe that OWC will be a complementary technology in its various forms: Free Space Optical communications (FSO), Visible Light Communications (VLC), Light Fidelity (Li-Fi). In fact, the optical spectrum has been considered for many years as a great opportunity for wireless communications especially due to the saturation of the radio frequency (RF) spectrum. This dissertation deals with the use of broadband sources in visible light transmission systems (VLC) as well as fiber optic systems. To carry out the research, three parts can be distinguished: In the first part, we consider the study and simulation of Light Emitting Diode (LED) components with the WIEN2k software by focusing on the optical and electrical properties of elements II-VI. The second part deals with the design, implementation and testing of different VLC communication prototypes for analog and digital transmission in simplex and half-duplex mode. We have demonstrated that an OWC system using a broadband source (i.e. an LED) can be used not only for data transmission, but also for wireless power transmission. Moreover, the synchronization problem and the detection of level "1" or "0" of a bit often arise in the optical wireless communication systems. This is a result of the attenuation nature of the light over the distance and the problem of Non Line-Of-Sight (NLOS) between the emitter and the receiver. To deal with this problem, a communication protocol ensuring reliable digital data transmission with an adaptive bit level detection algorithm has been provided and its effectiveness has been demonstrated by the transmission of texts and images. In addition, this thesis provides a solution for the implementation of wavelength division multiplexed - orthogonal frequency division multiplexed (WDM-OFDM) transmitters based on the use of broadband sources in the infrared spectrum for centralized bidirectional fiber networks. Despite the chromatic dispersion that avoids the use of this type of optical sources, the inclusion of certain structures before detection allows the transmission of OFDM signals in optical links. Carrier reuse, dynamic bandwidth allocation and multiband OFDM signals transmission will be experimentally demonstrated by using optical broadband sources in WDM networks. The main results obtained during this thesis work demonstrate the study procedures, for each part, the effectiveness of the proposed solutions as well as the constraints encountered.Sekkiou, I. (2021). Design of communication systems based on broadband sources for fiber and free space optical links [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/172542TESI

Nuclear Power - Control, Reliability and Human Factors

Advances in reactor designs, materials and human-machine interfaces guarantee safety and reliability of emerging reactor technologies, eliminating possibilities for high-consequence human errors as those which have occurred in the past. New instrumentation and control technologies based in digital systems, novel sensors and measurement approaches facilitate safety, reliability and economic competitiveness of nuclear power options. Autonomous operation scenarios are becoming increasingly popular to consider for small modular systems. This book belongs to a series of books on nuclear power published by InTech. It consists of four major sections and contains twenty-one chapters on topics from key subject areas pertinent to instrumentation and control, operation reliability, system aging and human-machine interfaces. The book targets a broad potential readership group - students, researchers and specialists in the field - who are interested in learning about nuclear power

Applied Measurement Systems

Measurement is a multidisciplinary experimental science. Measurement systems synergistically blend science, engineering and statistical methods to provide fundamental data for research, design and development, control of processes and operations, and facilitate safe and economic performance of systems. In recent years, measuring techniques have expanded rapidly and gained maturity, through extensive research activities and hardware advancements. With individual chapters authored by eminent professionals in their respective topics, Applied Measurement Systems attempts to provide a comprehensive presentation and in-depth guidance on some of the key applied and advanced topics in measurements for scientists, engineers and educators

Intranet of the future: functional study, comparison of products and practical implementation

Future intranet: functional study, comparison of products and practical implementation 1. Introduction The project has fulfilled three goals: 1) To perform a study of the functionalities which have to be covered in a modern intranet (web 2.0, unified communication, collaboration, etc) 2) To perform a comparison of tools of the market which can be used to implement intranets (commercial and open source products) 3) To test three of these tools (Oracle WebCenter, Liferay Portal and Microsoft SharePoint) and develop a prototype with Oracle WebCenter. In addition, it includes a research about the evolution of the Intranets among the time, as well as a work to discover the current state of this kind of platforms over the entire world. In this introductory research it is also convenient to include other topics which are not strictly technical involving the use of this Intranet. To be more concrete, there is an analysis of the importance of the human role and management of the Intranet, the process of deploying a new Intranet in an organization and methods to evaluate the performance of this new system.   2. Functional study The approach taken to fulfil this goal is to develop a theoretical model describing the relationship between the Intranet and its users, and a complete set of functionalities which could be covered in the Intranet of the future. These functionalities are categorized in groups. The project describes these groups and the functionalities included on them. 3. Comparison of products The project will describe and compare several technologies which can be used to develop an Intranet that we have previously modelled. The purpose here is to discover the strong points and weaknesses of each technology if it was used to develop the Intranet we desire. After having done such a review, the project focuses on three technologies and performs an extensive evaluation of them. Finally, an extensive comparison between these three technologies is done, highlighting where they offer better solutions and performance compared to the other possibilities. 4. Practical implementation The project focuses on three technologies: Oracle WebCenter, Liferay Portal and Microsoft SharePoint. Then, a prototype which covers a set of functionalities of the modelled Intranet has been built with Oracle WebCenter