Migração de ligações Wi-Fi não seguras para ligações seguras, após autenticação em captive portal

Atualmente a popularidade das comunicações Wi-Fi tem crescido, os utilizadores acedem a partir de vários dispositivos como telemóveis, tablets, computadores portáteis sendo estes utilizados por qualquer pessoa nos mais variados locais. Com esta utilização massiva por parte dos utilizadores surgiram os hotspots Wi-Fi públicos (em aeroportos, estações de comboios, etc) que permitem a ligação de clientes recorrendo a ligações wireless não seguras (ou abertas). Tais hotspots utilizam, após a ligação de um cliente, um captive portal que captura o tráfego IP com origem no cliente e o redireciona para uma página Web de entrada. A página Web permite ao cliente comprar tempo de acesso à Internet ou, caso já seja um cliente da empresa, autenticar-se para ter acesso à Internet. A necessidade da ligação aberta assenta na possibilidade do operador do hotspot vender acesso à Internet a utilizadores não conhecidos (caso contrário teria de fornecerlhes uma senha previamente). No entanto, fornecer um acesso à Internet wireless sem qualquer tipo de segurança ao nível físico permite que qualquer outro utilizador consiga obter informação sobre a navegação Web dos utilizadores ligados (ex.: escuta de pedidos DNS). Nesta tese pretende-se apresentar uma solução que estenda um dos atuais mecanismos de autenticação Wi-Fi (WPA, WPA2) para que permita, após autenticação em captive portal, a migração de uma ligação aberta para uma ligação segura.

Transístores de óxidos semicondutores com óxido de alumínio produzido por solução

A integração da camada dieléctrica de AlOx em TFTs com ZTO, também produzido por solução, originou uma publicação científica que foi recentemente aceite numa revista da especialidade: R. Branquinho, D. Salgueiro, A. Santa, A. Kiazadeh, P. Barquinha, L. Pereira, R. Martins and E. Fortunato, Towards environmental friendly solution-based ZTO/AlOx TFTs, Semiconductor Science and Technology, in press.

Predictive control of a current-source inverter for solar photovoltaic grid interface

Solar photovoltaic systems are an increasing option for electricity production, since they produce electrical energy from a clean renewable energy resource, and over the years, as a result of the research, their efficiency has been increasing. For the interface between the dc photovoltaic solar array and the ac electrical grid is necessary the use of an inverter (dc-ac converter), which should be optimized to extract the maximum power from the photovoltaic solar array. In this paper is presented a solution based on a current-source inverter (CSI) using continuous control set model predictive control (CCS-MPC). All the power circuits and respective control systems are described in detail along the paper and were tested and validated performing computer simulations. The paper shows the simulation results and are drawn several conclusions.

Behaviour of a dovetail joint solved using force analyses

Dovetail joints are one of the most cornrnonly used joints during Gothic and Baroque periods. Despite being coristructed in the sarne way during the ages, there is no analyticai solution available to help its analysis and design so required in reconstruction works of existing timber structures. An analytical solution based on the principie of virtual works under different types of loading is presented in this paper as weli as differences in bearing capacity of the joint for chosen types of loading, when different wood species are used. The accuracy of the presented solution is confirrned by data obtained from experimental tests of scaied modeis of a dovetail joint.

Sustentabilidade no Design: uma abordagem aos resíduos limpos das indústrias do calçado

Dissertação de mestrado em Design e Marketing

Desenvolvimento de materiais para isolamento térmico com base em biomimética

Dissertação de mestrado Internacional em Sustentabilidade do Ambiente Construído

Implementació d'un esquema criptogràfic per gestionar de forma segura els historials mèdics dels pacients a traves d'una xarxa de comunicacions

Aquest treball presenta una solució basada en criptosistemes de clau pública, certificats i signatures digitals, emprant Java com a llenguatge de programació. Per a estendre la funcionalitat quant a seguretat del Java Developer Kit (JDK) s'utilitza la llibreria criptogràficaIAIK (Institute for Applied Information Processing and Communication).

Proyecto de migración a un sistema de telefonia IP (VOIP) basado en software libre.

Una empresa de grandària mitja s'embarca en un projecte de migració del seu sistema telefònic, basat en un model tradicional i amb múltiples problemes, tant a nivell de funcionalitat com de costos, i decideix apostar per una solució basada en programari lliure, amb Linux i Asterisk com peces angulars del disseny del projecte.

IROme, a New High-Throughput Molecular Tool for the Diagnosis of Inherited Retinal Dystrophies.

The molecular diagnosis of retinal dystrophies is difficult because of the very important number of genes implicated and is rarely helped by genotype-phenotype correlations. This prompted us to develop IROme, a custom designed in solution-based targeted exon capture assay (SeqCap EZ Choice library, Roche NimbleGen) for 60 retinitis pigmentosa-linked genes and three candidate genes (942 exons). Pyrosequencing was performed on a Roche 454 GS Junior benchtop high-throughput sequencing platform. In total, 23 patients affected by retinitis pigmentosa were analyzed. Per patient, 39.6 Mb were generated, and 1111 sequence variants were detected on average, at a median coverage of 17-fold. After data filtering and sequence variant prioritization, disease-causing mutations were identified in ABCA4, CNGB1, GUCY2D, PROM1, PRPF8, PRPF31, PRPH2, RHO, RP2, and TULP1 for twelve patients (55%), ten mutations having never been reported previously. Potential mutations were identified in 5 additional patients, and in only 6 patients no molecular diagnosis could be established (26%). In conclusion, targeted exon capture and next-generation sequencing are a valuable and efficient approach to identify disease-causing sequence variants in retinal dystrophies.

A Factor analysis of hidrochemical composition of Llobregat river basin

Hydrogeological research usually includes some statistical studies devised to elucidate mean background state, characterise relationships among different hydrochemical parameters, and show the influence of human activities. These goals are achieved either by means of a statistical approach or by mixing modelsbetween end-members. Compositional data analysis has proved to be effective with the first approach, but there is no commonly accepted solution to the end-member problem in a compositional framework.We present here a possible solution based on factor analysis of compositions illustrated with a case study.We find two factors on the compositional bi-plot fitting two non-centered orthogonal axes to the most representative variables. Each one of these axes defines a subcomposition, grouping those variables thatlay nearest to it. With each subcomposition a log-contrast is computed and rewritten as an equilibrium equation. These two factors can be interpreted as the isometric log-ratio coordinates (ilr) of three hiddencomponents, that can be plotted in a ternary diagram. These hidden components might be interpreted as end-members.We have analysed 14 molarities in 31 sampling stations all along the Llobregat River and its tributaries, with a monthly measure during two years. We have obtained a bi-plot with a 57% of explained totalvariance, from which we have extracted two factors: factor G, reflecting geological background enhanced by potash mining; and factor A, essentially controlled by urban and/or farming wastewater. Graphicalrepresentation of these two factors allows us to identify three extreme samples, corresponding to pristine waters, potash mining influence and urban sewage influence. To confirm this, we have available analysisof diffused and widespread point sources identified in the area: springs, potash mining lixiviates, sewage, and fertilisers. Each one of these sources shows a clear link with one of the extreme samples, exceptfertilisers due to the heterogeneity of their composition.This approach is a useful tool to distinguish end-members, and characterise them, an issue generally difficult to solve. It is worth note that the end-member composition cannot be fully estimated but only characterised through log-ratio relationships among components. Moreover, the influence of each endmember in a given sample must be evaluated in relative terms of the other samples. These limitations areintrinsic to the relative nature of compositional data

Discrete analysis of dividend payments in a non-life insurance portfolio

The process of free reserves in a non-life insurance portfolio as defined in the classical model of risk theory is modified by the introduction of dividend policies that set maximum levels for the accumulation of reserves. The first part of the work formulates the quantification of the dividend payments via the expectation of their current value under diferent hypotheses. The second part presents a solution based on a system of linear equations for discrete dividend payments in the case of a constant dividend barrier, illustrated by solving a specific case.

Discrete analysis of dividend payments in a non-life insurance portfolio

The process of free reserves in a non-life insurance portfolio as defined in the classical model of risk theory is modified by the introduction of dividend policies that set maximum levels for the accumulation of reserves. The first part of the work formulates the quantification of the dividend payments via the expectation of their current value under diferent hypotheses. The second part presents a solution based on a system of linear equations for discrete dividend payments in the case of a constant dividend barrier, illustrated by solving a specific case.

Protecting mobile agents from external replay attacks

Peer-reviewed

Comisiones de la verdad y justicia penal en contextos de transición

Una de las cuestiones más controvertidas en la problemática de la justicia de transición es la relativa a las Comisiones de la Verdad. En este artículo se analizan estos órganos de investigación desde el prisma de la obligación de proveer justicia ante las graves violaciones de derechos humanos y se plantea en qué condiciones una fórmula basada en la verdad y la reparación puede servir a los fines de la justicia penal.

Kationinvaihtohartsien hapetuskestävyys

Hyvin puhdasta vettä vaativissa sovelluksissa käytettävät kationinvaihtohartsit eivät saisi vuotaa puhdistettavaan veteen mitään vieraita aineita. Todellisuudessa hartsit kuitenkin vuotavat hyvin pieniä määriä erilaisia yhdisteitä käytön aikana. Aineet, joita kationinvaihtohartsi päästää veteen, ovat osaksi hartsin polymerointireaktion aikana sen rungon sisään jääneitä yhdisteitä. Nämä voidaan suurimmaksi osaksi poistaa pesemällä hartsia. Osittain niitä syntyy myös hartsin polystyreenidivinyylibentseenirungon (PS-DVB) hapettuessa. Hapettumisen seurauksena syntyneet yhdisteet ovat pääosin orgaanisia sulfonaatteja. Tämä työ koskee ydinvoimalaitoksissa käytettäviä pulverihartseja, joita käytetään primääripiirissä kiertävän lauhdeveden puhdistukseen ja jotka joutuvat siellä alttiiksi hapettumiselle. Yleensä hapettuminen on hidasta ja se johtuu veteen liuenneesta hapesta. Hapettuminen nopeutuu huomattavasti, jos vedessä on läsnä hapettimia tai siirtymämetalli-ioneja. Tällaisia hapettimia ovat esimerkiksi vetyperoksidi, otsoni, vapaa kloori, typpihappo ja kromi. Vetyperoksidin vaikutuksesta hartsin runkoon muodostuu hydroperoksidiryhmä, jonka hajoamisesta alkaa reaktioiden sarja, joka lopulta johtaa hartsin polymeerirungon katkeamiseen. Siirtymämetalli-ionit katalysoivat peroksidien hajoamista. Tavallisimpia hapetusta katalysoivia metalli-ioneja ovat rauta ja kupari, joiden katalyyttinen aktiivisuus on suuri. Tässä työssä pyrittiin selvittämään, onko mahdollista valmistaa hartseja, jotka kestävät hapettumista paremmin kuin nykyisin käytössä olevat hartsit. Sen tutkimiseksi tehtiin kiihdytettyjä hapetuskokeita käyttäen hapettimena vetyperoksidia ilman siirtymämetalli-ioni katalyyttejä. Hapetuskokeet tehtiin kaupallisesti saatavilla hartseilla ja uusilla työtä varten syntetisoiduilla koehartseilla. Hapetuskokeiden etenemistä seurattiin mittaamalla veteen liuenneiden orgaanisten aineiden kokonaismäärää (TOC-analyysi) ja liuoksessa esiintyvien orgaanisten sulfonaattien määrää johtokykymittauksin. Saadut tulokset antoivat viitteitä siitä, että hartsin synteesiolosuhteilla voi olla suurempi vaikutus sen hapetuskestävyyteen kuin synteesissä käytetyillä raaka-aineilla.