Biblioteca para a realiza����o de security token services

A fam��lia de especifica����es WS-* define um modelo de seguran��a para web services, baseado nos conceitos de claim, security token e Security Token Service (STS). Neste modelo, a informa����o de seguran��a dos originadores de mensagens (identidade, privil��gios, etc.) �� representada atrav��s de conjuntos de claims, contidos dentro de security tokens. A emiss��o e obten����o destes security tokens, por parte dos originadores de mensagens, s��o realizadas atrav��s de protocolos legados ou atrav��s de servi��os especiais, designados de Security Token Services, usando as opera����es e os protocolos definidos na especifica����o WS-Trust. O conceito de Security Token Service n��o �� usado apenas no contexto dos web services. Propostas como o modelo dos Information Cards, aplic��vel no contexto de aplica����es web, tamb��m utilizam este conceito. Os Security Token Services desempenham v��rios pap��is, dependendo da informa����o presente no token emitido. S��o exemplos o papel de Identity Provider, quando os tokens emitidos cont��m informa����o de identidade, ou o papel de Policy Decision Point, quando os tokens emitidos definem autoriza����es. Este documento descreve o projecto duma biblioteca software para a realiza����o de Security Token Services, tal como definidos na norma WS-Trust, destinada �� plataforma .NET 3.5. Prop��em-se uma arquitectura flex��vel e extens��vel, de forma a suportar novas vers��es das normas e as diversas variantes que os Security Token Services possuem, nomeadamente: o tipo dos security token emitidos e das claims neles contidas, a infer��ncia das claims e os m��todos de autentica����o das entidades requerentes. Apresentam-se aspectos de implementa����o desta arquitectura, nomeadamente a integra����o com a plataforma WCF, a sua extensibilidade e o suporte a modelos e sistemas externos �� norma. Finalmente, descrevem-se as plataformas de teste implementadas para a valida����o da biblioteca realizada e os m��dulos de extens��o da biblioteca para: suporte do modelo associado aos Information Cards, do modelo OpenID e para a integra����o com o Authorization Manager.

Improving Remote Voting Security with Code Voting

One of the major problems that prevents the spread of elections with the possibility of remote voting over electronic networks, also called Internet Voting, is the use of unreliable client platforms, such as the voter's computer and the Internet infrastructure connecting it to the election server. A computer connected to the Internet is exposed to viruses, worms, Trojans, spyware, malware and other threats that can compromise the election's integrity. For instance, it is possible to write a virus that changes the voter's vote to a predetermined vote on election's day. Another possible attack is the creation of a fake election web site where the voter uses a malicious vote program on the web site that manipulates the voter's vote (phishing/pharming attack). Such attacks may not disturb the election protocol, therefore can remain undetected in the eyes of the election auditors. We propose the use of Code Voting to overcome insecurity of the client platform. Code Voting consists in creating a secure communication channel to communicate the voter's vote between the voter and a trusted component attached to the voter's computer. Consequently, no one controlling the voter's computer can change the his/her's vote. The trusted component can then process the vote according to a cryptographic voting protocol to enable cryptographic verification at the server's side.

Projecto timecloud: software de gest��o de tempo laboral numa plataforma cloud

O presente projecto tem como objectivo a disponibiliza����o de uma plataforma de servi��os para gest��o e contabiliza����o de tempo remuner��vel, atrav��s da marca����o de horas de trabalho, f��rias e faltas (com ou sem justifica����o). Pretende-se a disponibiliza����o de relat��rios com base nesta informa����o e a possibilidade de an��lise autom��tica dos dados, como por exemplo excesso de faltas e f��rias sobrepostas de trabalhadores. A ��nfase do projecto est�� na disponibiliza����o de uma arquitectura que facilite a inclus��o destas funcionalidades. O projecto est�� implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solu����o sob o paradigma de Software as a Service, com garantia de disponibilidade e replica����o de dados. A plataforma foi escolhida a partir da an��lise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as caracter��sticas de cada plataforma, nomeadamente os modelos de programa����o, os modelos de dados disponibilizados, os servi��os existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas caracter��sticas �� data de inicia����o do presente projecto. A solu����o est�� estruturada em camadas, com as seguintes componentes: interface da plataforma, l��gica de neg��cio e l��gica de acesso a dados. A interface disponibilizada est�� concebida com observa����o dos princ��pios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autoriza����o, suportada em Spring-Security, sendo a autentica����o delegada para os servi��os Google Acounts. De forma a permitir o desacoplamento entre as v��rias camadas foi utilizado o padr��o Dependency Injection. A utiliza����o deste padr��o reduz a depend��ncia das tecnologias utilizadas nas diversas camadas. Foi implementado um prot��tipo, para a demonstra����o do trabalho realizado, que permite interagir com as funcionalidades do servi��o implementadas, via pedidos AJAX. Neste prot��tipo tirou-se partido de v��rias bibliotecas javascript e padr��es que simplificaram a sua realiza����o, tal como o model-view-viewmodel atrav��s de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ��gil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementa����o do servi��o foram realizados testes unit��rios, sendo tamb��m feita previamente a an��lise da funcionalidade e posteriormente produzida a documenta����o recorrendo a diagramas UML.

Interpretation of gravity data to delineate structural features connected to low-temperature geothermal resources at Northeastern Portugal

A great number of low-temperature geothermal fields occur in Northern-Portugal related to fractured rocks. The most important superficial manifestations of these hydrothermal systems appear in pull-apart tectonic basins and are strongly conditioned by the orientation of the main fault systems in the region. This work presents the interpretation of gravity gradient maps and 3D inversion model produced from a regional gravity survey. The horizontal gradients reveal a complex fault system. The obtained 3D model of density contrast puts into evidence the main fault zone in the region and the depth distribution of the granitic bodies. Their relationship with the hydrothermal systems supports the conceptual models elaborated from hydrochemical and isotopic water analyses. This work emphasizes the importance of the role of the gravity method and analysis to better understand the connection between hydrothermal systems and the fractured rock pattern and surrounding geology. (c) 2013 Elsevier B.V. All rights reserved.

O uso de palmilhas de contato total e o impacte nas altera����es posturais no trabalho em ortostatismo

Mestrado em Higiene e Seguran��a no Trabalho

Monte Carlo simulation of the basic features of the GE Millennium MG single photon emission computed tomography gamma camera

Objective - To describe and validate the simulation of the basic features of GE Millennium MG gamma camera using the GATE Monte Carlo platform. Material and methods - Crystal size and thickness, parallel-hole collimation and a realistic energy acquisition window were simulated in the GATE platform. GATE results were compared to experimental data in the following imaging conditions: a point source of 99mTc at different positions during static imaging and tomographic acquisitions using two different energy windows. The accuracy between the events expected and detected by simulation was obtained with the Mann���Whitney���Wilcoxon test. Comparisons were made regarding the measurement of sensitivity and spatial resolution, static and tomographic. Simulated and experimental spatial resolutions for tomographic data were compared with the Kruskal���Wallis test to assess simulation accuracy for this parameter. Results - There was good agreement between simulated and experimental data. The number of decays expected when compared with the number of decays registered, showed small deviation (���0.007%). The sensitivity comparisons between static acquisitions for different distances from source to collimator (1, 5, 10, 20, 30cm) with energy windows of 126���154 keV and 130���158 keV showed differences of 4.4%, 5.5%, 4.2%, 5.5%, 4.5% and 5.4%, 6.3%, 6.3%, 5.8%, 5.3%, respectively. For the tomographic acquisitions, the mean differences were 7.5% and 9.8% for the energy window 126���154 keV and 130���158 keV. Comparison of simulated and experimental spatial resolutions for tomographic data showed no statistically significant differences with 95% confidence interval. Conclusions - Adequate simulation of the system basic features using GATE Monte Carlo simulation platform was achieved and validated.

Familial amyloid polyneuropathy (FAP): clinical features, pathophysiology and treatment

In the literature, concepts of ���polyneuropathy���, ���peripheral neuropathy��� and ���neuropathy��� are often mistakenly used as synonyms. Polyneuropathy is a specific term that refers to a relatively homogenous process that affects multiple peripheral nerves. Most of these tend to present as symmetric polyneuropathies that first manifest in the distal portions of the affected nerves. Many of these distal symmetric polyneuropathies are due to toxic-metabolic causes such as alcohol abuse and diabetes mellitus. Other distal symmetric polyneuropathies may result from an overproduction of substances that result in nerve pathology such as is observed in anti-MAG neuropathy and monoclonal gammopathy of undetermined significance. Other ���overproduction��� disorders are hereditary such as noted in the Portuguese type of familial amyloid polyneuropathy (FAP). FAP is a manifestation of a group of hereditary amyloidoses; an autosomal dominant, multisystemic disorder wherein the mutant amyloid precursor, transthyretin, is produced in excess primarily by the liver. The liver accounts for approximately 98% of all transthyretin production. FAP is confirmed by detecting a transthyretin variant with a methionine for valine substitution at position 30 [TTR (Met30)]. Familial Amyloidotic Polyneuropathy (FAP) ��� Portuguese type was first described by a Portuguese neurologist, Corino de Andrade in 1939 and published in 1951. Most persons with this disorder are descended from Portuguese sailors who sired offspring in various locations, primarily in Sweden, Japan and Mallorca. Their descendants emigrated worldwide such that this disorder has been reported in other countries as well. More than 2000 symptomatic cases have been reported in Portugal. FAP progresses rapidly with an average time course from symptom onset to multi-organ involvement and death between ten and twenty years. Treatments directed at removing this aberrant protein such as plasmapheresis and immunoadsorption proved to be unsuccessful. Liver transplantation has been the only effective solution as evidenced by almost 2000 liver transplants performed worldwide. A therapy for FAP with a novel agent, ���Tafamidis��� has shown some promise in ongoing phase III clinical trials. It is well recognized that regular physical activity of moderate intensity has a positive effect on physical fitness as gauged by body composition, aerobic capacity, muscular strength and endurance and flexibility. Physical fitness has been reported to result in the reduction of symptoms and lesser impairment when performing activities of daily living. Exercise has been advocated as part of a comprehensive approach to the treatment of chronic diseases. Therefore, this chapter concludes with a discussion of the role of exercise training on FAP.

Embedded platform for ECG biometric recognition

Trabalho Final de Mestrado para obten����o do grau de Mestre em Engenharia de Electr��nica e Telecomunica����es

Sistemas de informa����o ao p��blico nos transportes p��blicos de passageiros: an��lise cr��tica

Disserta����o para obten����o do grau de Mestre em Engenharia na ��rea de especializa����o em Vias de Comunica����o e Transportes

Clustering and selecting categorical features

In data clustering, the problem of selecting the subset of most relevant features from the data has been an active research topic. Feature selection for clustering is a challenging task due to the absence of class labels for guiding the search for relevant features. Most methods proposed for this goal are focused on numerical data. In this work, we propose an approach for clustering and selecting categorical features simultaneously. We assume that the data originate from a finite mixture of multinomial distributions and implement an integrated expectation-maximization (EM) algorithm that estimates all the parameters of the model and selects the subset of relevant features simultaneously. The results obtained on synthetic data illustrate the performance of the proposed approach. An application to real data, referred to official statistics, shows its usefulness.

Relevant elderly gait features for functional fitness level grouping

Locomotor tasks characterization plays an important role in trying to improve the quality of life of a growing elderly population. This paper focuses on this matter by trying to characterize the locomotion of two population groups with different functional fitness levels (high or low) while executing three different tasks-gait, stair ascent and stair descent. Features were extracted from gait data, and feature selection methods were used in order to get the set of features that allow differentiation between functional fitness level. Unsupervised learning was used to validate the sets obtained and, ultimately, indicated that it is possible to distinguish the two population groups. The sets of best discriminate features for each task are identified and thoroughly analysed. Copyright �� 2014 SCITEPRESS - Science and Technology Publications. All rights reserved.

Copper-organic frameworks assembled from in situ generated 5-(4-pyridyl) tetrazole building blocks: synthesis, structural features, topological analysis and catalytic oxidation of alcohols

Two new metal- organic compounds {[Cu-3(mu(3)-4-(p)tz)(4)(mu(2)-N-3)(2)(DMF)(2)](DMF)(2)}(n) (1) and {[Cu(4ptz) (2)(H2O)(2)]}(n) (2) {4-ptz = 5-(4-pyridyl)tetrazolate} with 3D and 2D coordination networks, respectively, have been synthesized while studying the effect of reaction conditions on the coordination modes of 4-pytz by employing the [2 + 3] cycloaddition as a tool for generating in situ the 5-substituted tetrazole ligands from 4-pyridinecarbonitrile and NaN3 in the presence of a copper(II) salt. The obtained compounds have been structurally characterized and the topological analysis of 1 discloses a topologically unique trinodal 3,5,6-connected 3D network which, upon further simplification, results in a uninodal 8-connected underlying net with the bcu (body centred cubic) topology driven by the [Cu-3(mu(2)-N-3)(2)] cluster nodes and mu(3)-4-ptz linkers. In contrast, the 2D metal-organic network in 2 has been classified as a uninodal 4-connected underlying net with the sql [Shubnikov tetragonal plane net] topology assembled from the Cu nodes and mu(2)-4-ptz linkers. The catalytic investigations disclosed that 1 and 2 act as active catalyst precursors towards the microwave-assisted homogeneous oxidation of secondary alcohols (1-phenylethanol, cyclohexanol, 2-hexanol, 3-hexanol, 2-octanol and 3-octanol) with tert-butylhydroperoxide, leading to the yields of the corresponding ketones up to 86% (TOF = 430 h(-1)) and 58% (TOF = 290 h(-1)) in the oxidation of 1-phenylethanol and cyclohexanol, respectively, after 1 h under low power ( 10 W) microwave irradiation, and in the absence of any added solvent or additive.

Global localization with non-quantized local image features

In the field of appearance-based robot localization, the mainstream approach uses a quantized representation of local image features. An alternative strategy is the exploitation of raw feature descriptors, thus avoiding approximations due to quantization. In this work, the quantized and non-quantized representations are compared with respect to their discriminativity, in the context of the robot global localization problem. Having demonstrated the advantages of the non-quantized representation, the paper proposes mechanisms to reduce the computational burden this approach would carry, when applied in its simplest form. This reduction is achieved through a hierarchical strategy which gradually discards candidate locations and by exploring two simplifying assumptions about the training data. The potential of the non-quantized representation is exploited by resorting to the entropy-discriminativity relation. The idea behind this approach is that the non-quantized representation facilitates the assessment of the distinctiveness of features, through the entropy measure. Building on this finding, the robustness of the localization system is enhanced by modulating the importance of features according to the entropy measure. Experimental results support the effectiveness of this approach, as well as the validity of the proposed computation reduction methods.